nixpkgs

Author	SHA1	Message	Date
Gabriel Ebner	4e1323a0cf	vampire: fix nondeterministic hash Probably related to #8567	2018-11-22 14:15:55 +01:00
Gabriel Ebner	da3326902a	vampire: fix nondeterministic hash Probably related to #8567	2018-09-01 15:03:31 +02:00
Will Dietz	7353d8396d	vampire: enable parallel building	2018-07-05 10:13:40 -05:00
Will Dietz	600abbedc9	vampire: portability fixes These have been submitted upstream, but seconds before writing this message so naturally no upstream response "yet" :). Regardless of response, fetch patches from the corresponding PR's for context and of course hopefully they'll be included in next version.	2018-07-05 10:13:32 -05:00
Will Dietz	8e6db30bb7	vampire: use CC/CXX from env, instead of always g++	2018-07-05 10:11:32 -05:00
Gabriel Ebner	57ae4e8d8e	vampire: init at 4.2.2	2018-07-05 09:34:28 +02:00