This website requires JavaScript.
Explore
Help
Sign In
nathan
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2026-10-30 16:10:36 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
nixpkgs
/
pkgs
/
development
/
libraries
/
agda
History
夜坂雅
933ca40cd4
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
..
1lab
…
agda2hs-base
…
agda-categories
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
agda-prelude
…
agdarsec
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
cubical
…
cubical-mini
…
functional-linear-algebra
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
generics
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
iowa-stdlib
pkgs/development/libraries/*: convert all sha256 to hash in all fetchers
2026-10-17 21:41:08 +08:00
standard-library
…
