summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Collapse)AuthorAge
...
| * nixpkgs: z3 4.3.1 -> 4.3.2Austin Seipp2015-01-23
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* | 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
| | | | | This is done for the sake of Yosemite, which does not have gcc, and yet this change is also compatible with Linux.
* 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
| | | | | | Should eval cleanly, as far as -A tarball tells me. Relevant: issue #2999, issue #739
* Merge pull request #4238 from wkennington/master.boostPeter Simons2014-11-03
|\ | | | | Make boost 156 the default
| * 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
| | | | | | | CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. Homepage: http://cvc4.cs.nyu.edu/web/
* 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
|\ | | | | Camlp5: update to 6.12; hol-light: update to r199
| * hol_light: update to r199Vincent Laporte2014-10-01
| | | | | | | | And adds compatibility with camlp5-6.12
* | 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
| | | | | | | Adds a hook to automatically populate the $COQPATH variable. Coq libraries are expected to be installed in lib/coq/${coq-version}/user-contrib/
* 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
| | | | | This reverts commit bf009f87a944a7664a8af340caa5444537400fc1. The update breaks the build.
* 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
| | | | In particular, to get the fix for #3585 in the Coq bug tracker
* Update TPTPMichael Raskin2014-08-31
|
* coq_HEAD: update to latest Git HEADJohn Wiegley2014-08-26
|
* Fix many package descriptionsBjørn Forsman2014-08-24
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (My OCD kicked in today...) Remove repeated package names, capitalize first word, remove trailing periods and move overlong descriptions to longDescription. I also simplified some descriptions as well, when they were particularly long or technical, often based on Arch Linux' package descriptions. I've tried to stay away from generated expressions (and I think I succeeded). Some specifics worth mentioning: * cron, has "Vixie Cron" in its description. The "Vixie" part is not mentioned anywhere else. I kept it in a parenthesis at the end of the description. * ctags description started with "Exuberant Ctags ...", and the "exuberant" part is not mentioned elsewhere. Kept it in a parenthesis at the end of description. * nix has the description "The Nix Deployment System". Since that doesn't really say much what it is/does (especially after removing the package name!), I changed that to "Powerful package manager that makes package management reliable and reproducible" (borrowed from nixos.org). * Tons of "GNU Foo, Foo is a [the important bits]" descriptions is changed to just [the important bits]. If the package name doesn't contain GNU I don't think it's needed to say it in the description either.
* Fix various evaluation problemsEelco Dolstra2014-08-22
| | | | http://hydra.nixos.org/build/13616685
* 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
| |\ | | | | | | | | | | | | Conflicts: pkgs/desktops/e18/enlightenment.nix
| * | 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-12 14:06:13 +0000