Ben Siraphob
|
badf51221d
|
treewide: stdenv.lib -> lib
|
2021-01-16 17:58:11 +07:00 |
|
Ben Siraphob
|
b04fc593e7
|
treewide: cmake buildInputs to nativeBuildInputs, minor cleanups
|
2021-01-01 11:52:33 +07:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01: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
|
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 |
|
Linus Heckemann
|
5aa4b19946
|
treewide: mark some broken packages as broken
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
|
2019-10-08 17:14:26 +02:00 |
|
volth
|
08f68313a4
|
treewide: remove redundant rec
|
2019-08-28 11:07:32 +00:00 |
|
Dan Peebles
|
1dd7bc7dfc
|
monosat: update build to use handy new environment variable
|
2018-07-08 22:04:05 -04:00 |
|
Dan Peebles
|
0372c87481
|
monosat: cbaf79cf -> 2deeadef
Upstream fixed a few things I needed to work around
|
2018-07-08 21:57:00 -04:00 |
|
Dan Peebles
|
631dd7a4e9
|
monosat: init at 1nx3wh34
Also includes the python and java bindings (although java is only
currently enabled on Linux)
|
2018-07-08 12:43:29 -04:00 |
|