This website requires JavaScript.
Explore
Help
Register
Sign In
alioth
/
nixpkgs
Watch
3
Star
0
Fork
You've already forked nixpkgs
0
forked from
mirrors/nixpkgs
Code
Releases
Activity
c2d2758147
nixpkgs
/
maintainers
History
Thiago Kenji Okada
615e5e10c1
Merge pull request
#166740
from shadaj/init-cvc5-symfpu
...
cvc5: init at 1.0.0 & symfpu: init at 8fbe139b
2022-04-09 20:07:29 +01:00
..
scripts
Merge remote-tracking branch 'origin/master' into haskell-updates
2022-04-05 21:21:42 +02:00
maintainer-list.nix
Merge pull request
#166740
from shadaj/init-cvc5-symfpu
2022-04-09 20:07:29 +01:00
team-list.nix
maintainers/teams: clean up cleanup team
2022-04-03 12:29:09 +01:00