public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
215,557 Commits 1 Branch 0 Tags
52c5c8a81f31fa9b32fc751dca63546ba1ec1663
Commit Graph
4 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Aiken Cairncross 74a3ff502f pythonPackages.onnx: init at version 1.6.0 2020-01-13 15:41:54 -08:00
Aiken Cairncross 15dbd8de7c monosat: 60528a3 -> 1.8.0 
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
 2019-10-15 16:52:25 -04:00
Aiken Cairncross b4da391ade monosat: Add self as maintainer 2019-10-15 12:20:55 +01:00
Aiken Cairncross 0fc60dff30 git-secret: Add gawk to wrapper 
The `git-secret` script(s) use `gawk`.
 2018-12-20 10:19:39 +00:00