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
Silvan Mosberger
57bccb3cb8
treewide: http -> https sources ( #42676 )
...
* treewide: http -> https sources
This updates the source urls of all top-level packages from http to
https where possible.
* buildtorrent: fix url and tab -> spaces
2018-06-28 20:43:35 +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
Vincent Laporte
e36cb93283
coq_HEAD: remove
2017-12-02 08:38:58 +00: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
rht
bbd1c3d58a
coq_HEAD: Update once more
2017-03-18 01:51:38 +03:00
rht
7264efb5cb
Fold in specific ocaml version choice into let
2017-03-18 01:51:37 +03:00
rht
975d040f07
coq_HEAD: Update to the latest commit
2017-03-18 01:50:26 +03:00
Vincent Laporte
d40b680101
coq-8.4: fix build of ssreflect and mathcomp
2017-01-25 13:14:31 +00: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
John Wiegley
838a3b4294
coq_8_6: 8.6rc1 -> 8.6
2016-12-14 13:46:07 -08:00
John Wiegley
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13
2016-12-13 08:09:23 -08:00
John Wiegley
360234dab6
coq_8_6: new package, based on Coq 8.6rc1
2016-12-13 07:27:15 -08:00
Shea Levy
2ded9f3f7b
coq: Improve emacs buffer handling
2016-11-13 14:01:01 -05:00
Vincent Laporte
b028b5f4ef
coq-8.5: ease the selection of an older (patch level) version
2016-11-02 19:39:22 +01:00
Vincent Laporte
b840da02cd
coq: build and install the votour utility
2016-11-02 19:23:15 +01:00
Vincent Laporte
da68cc24f0
coq: 8.5pl2 -> 8.5pl3
2016-11-02 19:23:15 +01:00
Shea Levy
eca0f17ad2
nix-buffer support improvements.
...
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
Kirill Boltaev
e61663a233
treewide: move to ocaml-ng system
2016-09-26 02:36:49 +03:00
Tuomas Tynkkynen
21f17d69f6
treewide: Add lots of meta.platforms
...
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
vbgl
d7cfdc581c
coq: 8.5pl1 -> 8.5pl2 ( #16863 )
2016-07-18 11:33:51 +02:00
Tuomas Tynkkynen
bac26e08db
Fix lots of fetchgit hashes (fallout from #15469 )
2016-06-03 17:17:08 +03:00
Vincent Laporte
a036fda544
coq: 8.5 -> 8.5pl1
2016-04-12 19:43:11 +02:00
John Wiegley
5009b4a8cf
coq_8_5: 8.5rc1 -> 8.5
2016-01-25 12:33:31 -08:00
John Wiegley
d80aa87b13
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
2015-12-21 16:12:43 -08:00
