ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-10-06 04:27:27 +03:00
Code Issues Projects Releases Wiki Activity
822739021d
nixpkgs/pkgs/development/libraries/agda
History
R. Ryantm e5c56b29ab agdaPackages.standard-library: 2.0 -> 2.1
2024-07-27 22:06:45 +02:00
..
1lab Merge branch master into haskell-updates 2024-03-21 21:01:05 +01:00
agda-categories treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
agda-prelude
agdarsec agdaPackages.agdarsec: mark as broken 2023-12-27 12:17:49 +01:00
cubical agdaPackages.cubical: add maintainer phijor 2024-02-18 00:23:06 +02:00
functional-linear-algebra agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0 2023-12-23 21:52:05 +01:00
generic
generics agdaPackages.generics: init at 1.0.1 2024-07-01 17:11:41 +02:00
iowa-stdlib
standard-library agdaPackages.standard-library: 2.0 -> 2.1 2024-07-27 22:06:45 +02:00