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-08-31 12:44:44 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
python-updates
Add File
New File
Upload File
Apply Patch
nixpkgs
/
pkgs
/
applications
/
science
/
logic
History
Théo Zimmermann
5c53c37c3f
rocqPackages.rocq-core: introduce withPackages
2026-08-18 15:39:38 +02:00
..
coq
rocqPackages.rocq-core: introduce withPackages
2026-08-18 15:39:38 +02:00
easycrypt
easycrypt: 2026.06 → 2026.07
2026-07-24 16:04:46 +02:00
ekrhyper
treewide: clean up 'meta = with' pattern
2025-12-10 18:09:49 +01:00
leo2
treewide: clean up 'meta = with' pattern
2025-12-10 18:09:49 +01:00
rocq-core
rocq-core: ocaml 5.4 -> 5.5
2026-07-23 14:30:58 +02:00
tlaplus
isabelle: don't use
/tmp
as a temp directory
2026-02-14 13:28:51 +11:00
why3
treewide: clean up 'meta = with' pattern
2025-12-10 18:09:49 +01:00