5 commits

Author	SHA1	Message	Date
Linus Heckemann	5aa4b19946	treewide: mark some broken packages as broken ... Refs: e675498026 1e9cc5b984 793a2fe1e8 c19cf65261 f6544d618f	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