summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
...
| * nixpkgs: z3 4.3.1 -> 4.3.2Austin Seipp2015-01-23
* | rename all occurrences of stdenv.cc.gcc to stdenv.cc.ccEric Seidel2015-01-14
|/
* matita_130312: mark as brokenPavan Rikhi2015-01-07
* abc: export buildFlags in the preBuildJohn Wiegley2015-01-03
* alt-ergo: update from 0.95.2 to 0.99.1Vincent Laporte2014-12-31
* Change occurrences of gcc to the more general ccJohn Wiegley2014-12-26
* Fix license attribute of many bsd-like licensed packagesPascal Wittmann2014-12-21
* coq_HEAD: update to latest Git versionJohn Wiegley2014-12-19
* coq_HEAD: updateJohn Wiegley2014-11-17
* hol_light: update from 199 to 205Vincent Laporte2014-11-17
* zarith: propagate build input gmpVincent Laporte2014-11-07
* Adds some “branch” meta-dataVincent Laporte2014-11-06
* Turn more licenses into lib.licenses styleMateusz Kowalczyk2014-11-06
* Merge pull request #4238 from wkennington/master.boostPeter Simons2014-11-03
|\
| * boost: Remove boost.libWilliam A. Kennington III2014-11-02
* | coq_HEAD: update to latest commitJohn Wiegley2014-11-03
* | coq: 8.4pl4 -> 8.4pl5John Wiegley2014-11-03
|/
* Added acgtk-1.1Jiri Marsik2014-10-28
* cvc4: new derivationVincent Laporte2014-10-12
* why3: update from 0.83 to 0.85Vincent Laporte2014-10-12
* coq_HEAD: UpdateJohn Wiegley2014-10-09
* Merge pull request #4342 from vbgl/camlp5-6.12Mateusz Kowalczyk2014-10-03
|\
| * hol_light: update to r199Vincent Laporte2014-10-01
* | isabelle: Version 2014 building on Linux and DarwinJohn Wiegley2014-09-30
|/
* isabelle: Another Linux hash change?John Wiegley2014-09-30
* isabelle: Remove Linux patches (is this correct?)John Wiegley2014-09-30
* isabelle: Correct the 2014 sha value for LinuxJohn Wiegley2014-09-30
* isabelle: 2013 -> 2014, plus add darwin supportJohn Wiegley2014-09-30
* Removes duplicate ssreflectVincent Laporte2014-09-28
* coq: setup-hook for librariesVincent Laporte2014-09-28
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-09-23
* boost: Update depdendent packagesWilliam A. Kennington III2014-09-21
* coq_HEAD: Revert "update to latest Git version"Peter Simons2014-09-19
* Update hol_light to r198. Add myself as a maintainerMarco Maggesi2014-09-16
* ott: 0.25 new expressionJohn Wiegley2014-09-15
* coq_HEAD: update to latest Git versionJohn Wiegley2014-09-09
* Update TPTPMichael Raskin2014-08-31
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-08-26
* Fix many package descriptionsBjørn Forsman2014-08-24
* Fix various evaluation problemsEelco Dolstra2014-08-22
* ssreflect: 1.4 -> 1.5John Wiegley2014-08-19
* coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley2014-08-16
* Update and fix LEO2 proverMichael Raskin2014-08-12
* Add an expression for building Coq HEADJohn Wiegley2014-08-08
* Merge 'staging' into masterVladimír Čunát2014-08-08
|\
| * Merge remote-tracking branch 'origin/master' into staging.Peter Simons2014-08-04
| |\
| * | Don't use ensureDirEelco Dolstra2014-07-22
* | | Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra2014-08-08
| |/ |/|
* | Fix broken license references.Peter Simons2014-07-28
* | Turn some license strings into lib.licenses valuesMateusz Kowalczyk2014-07-28
|/
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 19:22:35 +0000