about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/vampire/default.nix
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove the definite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-10-09vampire: make patch urls reproduciblePeder Bergebakken Sundt1-2/+2
2023-03-05vampire: unbreak on aarch64-linuxWeijia Wang1-7/+4
2022-05-30treewide: pkgs/applications: mark broken for aarch64-linuxRick van Schijndel1-0/+1
2022-01-01vampire: 4.5.1 -> 4.6.1Jan van Brügge1-4/+4
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-08-17vampire: 4.4 -> 4.5.1Gabriel Ebner1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-3/+3
2019-08-25vampire: 4.2.2 -> 4.4Gabriel Ebner1-7/+4
2019-05-09vampire: switch off the fragile fetchSubmodules/leaveDotGitMichael Raskin1-3/+3
2018-11-22vampire: fix nondeterministic hashGabriel Ebner1-1/+1
2018-09-01vampire: fix nondeterministic hashGabriel Ebner1-1/+1
2018-07-05vampire: enable parallel buildingWill Dietz1-0/+2
2018-07-05vampire: portability fixesWill Dietz1-1/+22
2018-07-05vampire: use CC/CXX from env, instead of always g++Will Dietz1-1/+1
2018-07-05vampire: init at 4.2.2Gabriel Ebner1-0/+36
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-21 03:33:08 +0000