nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 07:05:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
b3dfd8d520
nixpkgs/pkgs/development/libraries/agda/cubical
History
Naïm Favier 963278d147
agdaPackages.cubical: unstable-2023-02-09 -> 0.5 
https://github.com/agda/cubical/releases/tag/v0.5
2023-07-05 11:14:29 +02:00
..
default.nix agdaPackages.cubical: unstable-2023-02-09 -> 0.5 2023-07-05 11:14:29 +02:00