JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
197,341 Commits 2 Branches 0 Tags 12 GiB
325f89ef19
Commit Graph

74 Commits

Author SHA1 Message Date
Vincent Laporte
325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
Vincent Laporte
8288301636 coq_8_10: 8.10+β2 → 8.10+β3 2019-09-16 11:41:43 -05:00
volth
35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
volth
c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
Théo Zimmermann
3bc04b576a coq: 8.10+beta1 -> 8.10+beta2 2019-07-14 14:58:49 +00:00
Vincent Laporte
57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Cyril Cohen
d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Vincent Laporte
b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte
1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Vincent Laporte
b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
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