Vincent Laporte
|
2806eb2743
|
coq_8_12: 8.12.0 → 8.12.1
|
2020-11-15 12:03:15 +01:00 |
|
Vincent Laporte
|
8cab21b48b
|
Revert "coq: propagate and install ocaml and findlib"
This reverts commit 5d0e2dedd5 .
|
2020-10-31 09:08:06 +01:00 |
|
Théo Zimmermann
|
5d0e2dedd5
|
coq: propagate and install ocaml and findlib
Fix #34657.
|
2020-10-21 11:07:02 +02:00 |
|
Mario Rodas
|
f96ec7d994
|
ocamlPackages.lablgtk3: propagate gtk3 (#95849)
|
2020-08-21 10:52:11 +02:00 |
|
Vincent Laporte
|
b8dfca143c
|
coq_8_12: 8.12+β1 → 8.12.0
coqPackages.equations: 1.2.2 → 1.2.3
|
2020-08-08 06:33:08 +02:00 |
|
Vincent Laporte
|
390769312d
|
coq_8_5: fix build (use gnumake 4.2)
|
2020-08-03 07:46:20 +02:00 |
|
Vincent Laporte
|
a8bb61222f
|
coq_8_12: init at 8.12+β1
|
2020-06-19 12:28:42 +02:00 |
|
Vincent Laporte
|
48f0d8b3c8
|
coq_8_11: 8.11.1 → 8.11.2
|
2020-05-20 19:21:42 +02:00 |
|
Michael Reilly
|
84cf00f980
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |
|
Vincent Laporte
|
d6a8d0ca5b
|
coq_8_11: 8.11.0 → 8.11.1
|
2020-04-05 15:32:32 +02:00 |
|
Vincent Laporte
|
13dd5844fd
|
coqPackages_8_11.coq: 8.11+β1 → 8.11.0
|
2020-01-31 14:09:51 +01:00 |
|
Vincent Laporte
|
659a7ae963
|
coq: disable CoqIDE on Darwin for Coq ≥ 8.10
|
2020-01-31 14:09:51 +01:00 |
|
Merijn Broeren
|
133103d709
|
treewide: replace make/build/configure/patchFlags with nix lists
|
2019-12-30 12:58:11 +01:00 |
|
Vincent Laporte
|
2942490c2c
|
coq_8_11: init at 8.11+β1
|
2019-12-07 07:58:00 +00:00 |
|
Vincent Laporte
|
3806eff9ca
|
coq_8_10: 8.10.1 → 8.10.2
|
2019-12-03 13:51:52 +00:00 |
|
John Ericson
|
d60532bc71
|
coq: Fix setup hook
|
2019-11-25 14:20:10 +00:00 |
|
Vincent Laporte
|
a8892b0d76
|
coq_8_10: 8.10.0 → 8.10.1
|
2019-10-25 07:58:47 +00:00 |
|
Vincent Laporte
|
d56582eb2b
|
coq_8_10: enable CoqIDE
|
2019-10-25 07:58:02 +00:00 |
|
Vincent Laporte
|
b4db381443
|
coq_8_10: 8.10+β3 → 8.10.0
coqPackages.coq-elpi: master → 1.1.0
|
2019-10-16 02:43:46 +00:00 |
|
Vincent Laporte
|
0cc70b5697
|
coq: do not build CoqIDE for Coq 8.10
GTK3 at version 3.24.11 has broken pkg-config files
|
2019-10-16 02:43:46 +00:00 |
|
Vincent Laporte
|
1292f49a37
|
coq_8_10: do not take “camlp5” as input
|
2019-10-16 02:43:46 +00:00 |
|
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 |
|