Jan van Brügge
b54e5a841b
vampire: 4.5.1 -> 4.6.1
2022-01-01 22:13:11 +01:00
Profpatsch
4a7f99d55d
treewide: with stdenv.lib; in meta -> with lib;
...
Part of: https://github.com/NixOS/nixpkgs/issues/108938
meta = with stdenv.lib;
is a widely used pattern. We want to slowly remove
the `stdenv.lib` indirection and encourage people
to use `lib` directly. Thus let’s start with the meta
field.
This used a rewriting script to mostly automatically
replace all occurances of this pattern, and add the
`lib` argument to the package header if it doesn’t
exist yet.
The script in its current form is available at
https://cs.tvl.fyi/depot@2f807d7f141068d2d60676a89213eaa5353ca6e0/-/blob/users/Profpatsch/nixpkgs-rewriter/default.nix
2021-01-11 10:38:22 +01:00
Gabriel Ebner
7f31fe9ea6
vampire: 4.4 -> 4.5.1
2020-08-17 19:39:32 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Gabriel Ebner
440c63a38a
vampire: 4.2.2 -> 4.4
2019-08-25 14:43:51 +02:00
Michael Raskin
a8c4b37063
vampire: switch off the fragile fetchSubmodules/leaveDotGit
2019-05-09 22:57:59 +02:00
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
