JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
54,404 Commits 2 Branches 0 Tags 13 GiB
c99c8c3e43
Commit Graph

183 Commits

Author SHA1 Message Date
John Wiegley
1825255272 coq_HEAD: update 2014-11-17 17:29:42 -06:00
Vincent Laporte
8227297567 hol_light: update from 199 to 205 2014-11-17 06:53:45 +00:00
Vincent Laporte
fbbd88017f zarith: propagate build input gmp 2014-11-07 09:50:39 +00:00
Vincent Laporte
3d049938c8 Adds some “branch” meta-data 2014-11-06 19:40:50 +00:00
Mateusz Kowalczyk
007f80c1d0 Turn more licenses into lib.licenses style 
Should eval cleanly, as far as -A tarball tells me.

Relevant: issue #2999, issue #739
 2014-11-06 00:48:16 +00:00
Peter Simons
b5fed52c43 Merge pull request #4238 from wkennington/master.boost 
Make boost 156 the default
 2014-11-03 23:03:01 +01:00
John Wiegley
d4c3e454a2 coq_HEAD: update to latest commit 2014-11-03 15:27:32 -06:00
John Wiegley
2b9e43b513 coq: 8.4pl4 -> 8.4pl5 2014-11-03 10:49:38 -06:00
William A. Kennington III
aa3e800be7 boost: Remove boost.lib 2014-11-02 17:22:27 -08:00
Jiri Marsik
ceba23605c Added acgtk-1.1 2014-10-28 14:06:21 +01:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation 
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
 2014-10-12 16:21:02 +02:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00
John Wiegley
e73aefcf93 coq_HEAD: Update 2014-10-09 14:52:35 -05:00
Mateusz Kowalczyk
3d26ea99dc Merge pull request #4342 from vbgl/camlp5-6.12 
Camlp5: update to 6.12; hol-light: update to r199
 2014-10-03 18:36:06 +01:00
John Wiegley
10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Vincent Laporte
c260abbff8 hol_light: update to r199 
And adds compatibility with camlp5-6.12
 2014-10-01 00:44:15 +01:00
John Wiegley
57b292fb1b isabelle: Another Linux hash change? 2014-09-30 16:44:15 -05:00
John Wiegley
5a7ce1185b isabelle: Remove Linux patches (is this correct?) 2014-09-30 16:41:47 -05:00
John Wiegley
8d9cd1557b isabelle: Correct the 2014 sha value for Linux 2014-09-30 16:15:34 -05:00
John Wiegley
db690f28a3 isabelle: 2013 -> 2014, plus add darwin support 2014-09-30 12:57:30 -05:00
Vincent Laporte
f3b8d82ce6 Removes duplicate ssreflect 2014-09-28 14:03:15 +01:00
Vincent Laporte
fde68228d9 coq: setup-hook for libraries 
Adds a hook to automatically populate the $COQPATH variable.
Coq libraries are expected to be installed in

    lib/coq/${coq-version}/user-contrib/
 2014-09-28 14:03:14 +01:00
John Wiegley
4eedbfd786 coq_HEAD: update to latest Git HEAD 2014-09-23 13:19:51 -05:00
William A. Kennington III
31220480d8 boost: Update depdendent packages 2014-09-21 17:20:59 -07:00
Peter Simons
2a54f52b22 coq_HEAD: Revert "update to latest Git version" 
This reverts commit bf009f87a9. The update
breaks the build.
 2014-09-19 12:29:07 +02:00
Marco Maggesi
6110679bee Update hol_light to r198. Add myself as a maintainer 2014-09-16 16:55:56 +02:00
John Wiegley
10afb382b7 ott: 0.25 new expression 2014-09-15 21:50:07 +01:00
John Wiegley
bf009f87a9 coq_HEAD: update to latest Git version 
In particular, to get the fix for #3585 in the Coq bug tracker
 2014-09-09 18:02:32 +01:00
Michael Raskin
979f0e1d67 Update TPTP 2014-08-31 19:25:32 +04:00
John Wiegley
686fa594ab coq_HEAD: update to latest Git HEAD 2014-08-26 16:36:50 -05:00
Bjørn Forsman
c9baba9212 Fix many package descriptions 
(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.
 2014-08-24 22:31:37 +02:00
Eelco Dolstra
ce6b86cc68 Fix various evaluation problems 
http://hydra.nixos.org/build/13616685
 2014-08-22 11:57:40 +02:00
John Wiegley
708e16e675 ssreflect: 1.4 -> 1.5 2014-08-19 16:03:33 -05:00
John Wiegley
cfc70c60ab coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590 2014-08-16 00:13:15 -05:00
Michael Raskin
f1f0f0cf19 Update and fix LEO2 prover 2014-08-12 03:57:52 +04:00
John Wiegley
83cf279452 Add an expression for building Coq HEAD 2014-08-08 18:11:00 -05:00
Vladimír Čunát
52d9c93abe Merge 'staging' into master 2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618 Mark a bunch of packages as broken or not supported on Darwin 2014-08-08 17:59:02 +02:00
Peter Simons
2d326e5032 Merge remote-tracking branch 'origin/master' into staging. 
Conflicts:
	pkgs/desktops/e18/enlightenment.nix
 2014-08-04 16:51:47 +02:00
Peter Simons
d0ca8c237e Fix broken license references. 2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233 Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
Eelco Dolstra
4f7289eec9 Don't use ensureDir 2014-07-22 11:01:32 +02:00
Benno Fünfstück
e10001042d fetchbzr, fetchdarcs, fetchhg: use rev attr 
This makes it match the behaviour of fetchgit and fetchsvn, so it's
easier to write scripts that support all of them.
 2014-06-28 21:06:10 +02:00
John Wiegley
34de04149e twelf: Fix the source URL 2014-06-27 10:46:24 -07:00
John Wiegley
ad96cc8bf9 twelf: new expression; prover for PL theory and logic 2014-06-26 15:54:45 -07:00
Austin Seipp
fe9133d522 verifast: 14.5, x86_64 linux only 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-06-10 16:38:45 -05:00
John Wiegley
c6261157f8 prooftree: new expression 0.12 2014-06-08 05:35:49 +00:00
Austin Seipp
453f93cc92 Merge pull request #2514 from jwiegley/coq 
Make Coq buildable on any Unix
 2014-05-17 14:49:57 -05:00
Austin Seipp
552db25e7f nixpkgs: add abc version 040509 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-17 14:09:09 -05:00
Russell O'Connor
5bbcebf2db Bump coq version to 8.4pl4. 2014-05-12 22:17:00 -04:00