This website requires JavaScript.
Explore
Help
Sign In
gador
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
42e8779ce49b8a49f4db7ded1cf2d76b08148f13
nixpkgs
/
pkgs
/
development
/
libraries
/
agda
T
History
Naïm Favier
e84598116e
agdaPackages.cubical: 0.7 -> 0.8
...
https://github.com/agda/cubical/releases/tag/v0.8
2025-05-19 17:59:38 +02:00
..
1lab
…
agda-categories
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
agda-prelude
…
agdarsec
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
cubical
agdaPackages.cubical: 0.7 -> 0.8
2025-05-19 17:59:38 +02:00
cubical-mini
…
functional-linear-algebra
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
generic
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
generics
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
iowa-stdlib
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
standard-library
Revert "treewide: replace
rev
with
tag
"
2025-04-08 02:57:25 -04:00
Naïm Favier