3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/maintainers
Thiago Kenji Okada 615e5e10c1
Merge pull request 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 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