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