MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 15:56:50 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
158710 commits 270 branches 124 tags 6.3 GiB
Commit graph

64 commits

Author SHA1 Message Date
Théo Zimmermann
dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Théo Zimmermann
fa12476755
coq: add ocamlPackages in passthru 
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
 2018-10-17 13:26:43 +02:00
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Vincent Laporte
23900febe7 coq: 8.8.1 -> 8.8.2 (#47388) 2018-09-26 22:26:39 +02:00
Théo Zimmermann
314eb884ec
coq_8_8: 8.8.0 -> 8.8.1 2018-06-29 11:10:31 +02:00
Matthew Justin Bauer
0d8e415d6b
Merge pull request #38969 from vbgl/coq-findlib 
coq: fix installation of OCaml libraries
 2018-04-20 18:02:52 -05:00
Vincent Laporte
76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Vincent Laporte
caec7dbb9f
coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte
5f97adccdc
coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Vincent Laporte
6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
John Wiegley
90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant 
Make cross compilation elegant
 2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d treewide: Don't use envHook anymore 
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
 2017-12-30 22:04:22 -05:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Vincent Laporte
4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Maxime Dénès
d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
John Ericson
531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 
Only acts on one-line dependency lists.
 2017-09-21 15:49:53 -04:00
Théo Zimmermann
9efd7a9b6e coq_8_7: init at 8.7+beta1 2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Théo Zimmermann
057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051 coq: use camlp5_strict 
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
 2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
Shea Levy
b1b61d0988 coq: nix-buffer: Inherit variables to PG shell 2017-05-22 00:45:54 -04:00
Shea Levy
b21540c4a6 coq: Add emacs buffer setup 2017-05-20 08:34:33 -04:00
Vincent Laporte
798a87159b Coq: propagates the findlib package 
So that Coq libraries that need it can easyly use it
 2017-01-25 10:29:13 +00:00
Vincent Laporte
9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
John Wiegley
4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect 
Addresses #14829
 2016-12-22 10:35:56 -08:00
Shea Levy
2ded9f3f7b coq: Improve emacs buffer handling 2016-11-13 14:01:01 -05:00
Shea Levy
eca0f17ad2 nix-buffer support improvements. 
Use inherit-local, add per-package elisp hooks.
 2016-10-07 10:31:37 -04:00
Russell O'Connor
4cc5f5dbb6 coq: Add csdp dependency 
The csdp program is invoked for some uses of Micromega tactics.
 2015-09-10 11:50:38 -04:00
Vincent Laporte
4b9c90c64e coq: update from 8.4pl5 to 8.4pl6 2015-04-15 07:18:08 +02:00
Vincent Laporte
3d049938c8 Adds some “branch” meta-data 2014-11-06 19:40:50 +00:00
John Wiegley
2b9e43b513 coq: 8.4pl4 -> 8.4pl5 2014-11-03 10:49:38 -06: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
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
Austin Seipp
453f93cc92 Merge pull request #2514 from jwiegley/coq 
Make Coq buildable on any Unix
 2014-05-17 14:49:57 -05:00
Russell O'Connor
5bbcebf2db Bump coq version to 8.4pl4. 2014-05-12 22:17:00 -04:00
John Wiegley
0a6b317071 Make Coq buildable on any Unix 2014-05-05 00:58:23 -05:00
Austin Seipp
c0f779ceee coq: add myself to maintainer list. 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-03-07 20:52:33 -06:00
Austin Seipp
fa118fc677 coq: 8.4pl2 -> 8.4pl3 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-03-07 20:52:26 -06:00
Gergely Risko
b43347342b Add platforms to coq, so it's built on Hydra 2013-08-28 21:35:07 +02:00
Russell O'Connor
c9f5959285 Update Coq to version 8.4pl2. 2013-06-14 12:16:52 -04:00
Russell O'Connor
706cbc9318 Update coq to 8.4 2012-08-19 01:01:30 -04:00
Russell O'Connor
417a07a0e9 Updatings ssreflect to depend on camlp5 version 6. 
svn path=/nixpkgs/trunk/; revision=34263
 2012-05-28 20:53:17 +00:00
Russell O'Connor
cfc8538326 Updating coq and ssreflect to patch level 4. 
svn path=/nixpkgs/trunk/; revision=34146
 2012-05-16 22:04:02 +00:00