Sign in
Join now
nixpkgs
pyrox.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
lol
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
nixpkgs
/
pkgs
/
development
/
interpreters
/
acl2
1 folder
·
2 files
at
master
Andreas Wendleder
·
abc-verifier: 0.61 -> 0.62
·
9mo ago
4e570292
libipasirglucose4
treewide: clean up 'meta = with' pattern
10mo ago
0001-path-changes-for-nix.patch
acl2: 8.5 -> 8.6 and mark darwin builds as compatible
1y ago
default.nix
abc-verifier: 0.61 -> 0.62
9mo ago
