/etc/git/

tle='Atom feed' href='https://git.koszko.org/guix/atom/gnu/packages/agda.scm?h=koszko' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
next: Update to 3.39.3.
AgeCommit message (Expand)Author
2022-05-12gnu: agda.scm: Add missing import.Efraim Flashner
2022-05-08gnu: agda: Use G-expressions.Tobias Geerinckx-Rice
2022-05-08gnu: agda: Update to 2.6.2.2.Tobias Geerinckx-Rice
2021-12-17gnu: agda: Update to 2.6.2.1.Tobias Geerinckx-Rice
2021-12-13gnu: Simplify package inputs.Ludovic Courtès
2021-10-08gnu: Update Haskell ecosystem.Lars-Dominik Braun
Hilton Chain
2022-08-27gnu: sqlite: Update to 3.39.2.Marius Bakke
2022-07-23gnu: SQLite: Update to 3.39.1.Marius Bakke
2022-07-22Merge branch 'staging' into core-updatesMarius Bakke
2022-07-20gnu: SQLite: Update to 3.39.1.Marius Bakke
2022-06-26gnu: SQLite: Update to 3.39.0.Marius Bakke