Commit message (Expand) | Author | Age | |
---|---|---|---|
* | vampire: 4.5.1 -> 4.6.1 | Jan van Brügge | 2022-01-01 |
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | vampire: 4.4 -> 4.5.1 | Gabriel Ebner | 2020-08-17 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | vampire: 4.2.2 -> 4.4 | Gabriel Ebner | 2019-08-25 |
* | vampire: switch off the fragile fetchSubmodules/leaveDotGit | Michael Raskin | 2019-05-09 |
* | vampire: fix nondeterministic hash | Gabriel Ebner | 2018-11-22 |
* | vampire: fix nondeterministic hash | Gabriel Ebner | 2018-09-01 |
* | vampire: enable parallel building | Will Dietz | 2018-07-05 |
* | vampire: portability fixes | Will Dietz | 2018-07-05 |
* | vampire: use CC/CXX from env, instead of always g++ | Will Dietz | 2018-07-05 |
* | vampire: init at 4.2.2 | Gabriel Ebner | 2018-07-05 |