about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann3-1/+4
2019-09-27Merge pull request #69477 from r-ryantm/auto-update/clingoMichael Raskin1-2/+2
2019-09-27Merge pull request #69345 from joachifm/feat/split-versionJoachim F1-1/+1
2019-09-26tree-wide: replace uses of splitString "." with lib.versionsJoachim Fasting1-1/+1
2019-09-26treewide: remove empty buildInputsJörg Thalheim1-2/+1
2019-09-26clingo: 5.3.0 -> 5.4.0R. RyanTM1-2/+2
2019-09-24tamarin-prover: mark as broken because upstream is brokenKierán Meinhardt1-0/+2
2019-09-18treewide: use libtinfo.so.5 where neededMatthew Bauer1-2/+1
2019-09-16coq_8_10: 8.10+β2 → 8.10+β3Vincent Laporte1-1/+1
2019-09-07petrinizer: fix build by pinning the neccessary library versionsMichael Raskin3-2/+58
2019-09-02Merge branch 'master' into stagingVladimír Čunát1-0/+2
2019-09-01symbiyosys: fix path to bash (again)Emily1-0/+2
2019-08-31treewide: name -> pname (#67513)volth1-1/+1
2019-08-28treewide: remove redundant recvolth18-18/+18
2019-08-28Merge staging-next into stagingFrederik Rietdijk3-14/+10
2019-08-27Merge master into staging-nextFrederik Rietdijk2-12/+8
2019-08-26treewide: remove redundant quotesvolth1-1/+1
2019-08-26stp: 2.2.0 -> 2.3.3Jonathan Ringer1-7/+6
2019-08-25vampire: 4.2.2 -> 4.4Gabriel Ebner1-7/+4
2019-08-24Merge branch 'master' into staging-nextVladimír Čunát1-2/+2
2019-08-23symbiyosys: extend platformsEmily1-2/+2
2019-08-18Merge master into staging-nextFrederik Rietdijk2-12/+12
2019-08-18Merge #65948: tlaplusToolbox: 1.5.7 -> 1.6.0Vladimír Čunát1-6/+9
2019-08-17treewide: name -> pnamevolth4-4/+8
2019-08-15treewide: name -> pname (easy cases) (#66585)volth50-67/+65
2019-08-14symbiyosys: 2019.04.18 -> 2019.08.13Emily1-7/+4
2019-08-04tla+ toolbox: 1.5.7 -> 1.6.0Badi Abdul-Wahid1-6/+9
2019-08-03framac: 18 -> 19 and update why3Jake Waksbaum3-6/+68
2019-07-25Merge master into stagingOrivej Desh1-2/+2
2019-07-23cryptoverif: 2.01 -> 2.01pl1R. RyanTM1-2/+2
2019-07-22gdk-pixbuf: rename from gdk_pixbufworldofpeace1-2/+2
2019-07-14coq: 8.10+beta1 -> 8.10+beta2Théo Zimmermann1-1/+1
2019-07-10treewide: fix redirect URLsRyan Mulligan1-1/+1
2019-06-24fast-downward: init at 2019-05-13Nikolay Amiantov1-0/+55
2019-06-19gappa: 1.2 -> 1.3.5Vincent Laporte1-3/+3
2019-06-16treewide: remove unused variables (#63177)volth2-2/+2
2019-06-10z3: 4.8.4 -> 4.8.5Will Dietz2-75/+5
2019-06-01cryptoverif: 2.00 -> 2.01R. RyanTM1-2/+2
2019-06-01treewide: update cargoSha256 hashes for cargo-vendor upgradeAlyssa Ross1-1/+1
2019-05-29coq_8_9: 8.9.0 -> 8.9.1Vincent Laporte1-0/+1
2019-05-21several fixes in coq and coqPackages.mathcomp (and extras)Cyril Cohen1-4/+1
2019-05-15coq: init at 8.10+β1Vincent Laporte1-3/+12
2019-05-15coq: make “coq-version” more generalVincent Laporte1-1/+4
2019-05-12symbiyosys: fix path to bashSebastien Bourdeauducq1-1/+4
2019-05-09tptp: switch to new base URL for source tarballMichael Raskin1-2/+2
2019-05-09vampire: switch off the fragile fetchSubmodules/leaveDotGitMichael Raskin1-3/+3
2019-05-05cedille: fix hashMario Rodas1-20/+2
2019-04-30eprover: 2.2 -> 2.3R. RyanTM1-2/+2
2019-04-29cedille: 1.0.0 -> 1.1.1 (#60307)Mario Rodas1-26/+46
2019-04-22Merge pull request #60010 from JohnAZoidberg/https-urlsmarkuskowa4-4/+4
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-10 07:32:45 +0000