This website requires JavaScript.
Explore
Help
Register
Sign In
JakeHillion
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
b2f62cfa27
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
drat-trim
History
Keshav Kini
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00
..
default.nix
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00