nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-01 02:23:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
e51ff0d56c
nixpkgs/pkgs/development/libraries/agda
History
Alex Rice 3a61d6d707
agdaPackages.cubical: 0.4prec3e097a -> 0.4
2022-12-01 15:53:35 +00:00
..
agda-categories agdaPackages.standard-library: 1.7 -> 1.7.1 2021-11-29 09:21:23 +01:00
agda-prelude
agdarsec
cubical agdaPackages.cubical: 0.4prec3e097a -> 0.4 2022-12-01 15:53:35 +00:00
functional-linear-algebra
generic
iowa-stdlib
standard-library agdaPackages.standard-library: 1.7 -> 1.7.1 2021-11-29 09:21:23 +01:00