 Aiken Cairncross
|
a5f1cf97b6
|
python3Packages.nbval: Fix tests
|
2020-10-03 14:19:40 +01:00 |
|
|
Aiken Cairncross
|
d020db4a44
|
onnx: 1.6.0 -> 1.7.0
|
2020-05-11 12:16:22 -07:00 |
|
|
Aiken Cairncross
|
3db82f6fc3
|
python3Packages.monosat: Fix hash
PR #81562 inadvertently broke these builds
|
2020-03-03 11:02:23 -08:00 |
|
|
Aiken Cairncross
|
2148a154c6
|
python3Packages.monosat: Fix Python 3.8 build
|
2020-03-03 07:40:57 +01:00 |
|
|
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 |
|