 Vincent Laporte
|
e75009ecdc
|
eprover: fix build in non-GCC environments
|
2018-02-14 22:46:12 +00:00 |
|
|
Vincent Laporte
|
93f8365824
|
compcert: 3.1 -> 3.2
|
2018-02-13 22:26:39 +00:00 |
|
|
Vincent Laporte
|
8cc3fcdfd4
|
proofgeneral_HEAD: 2017-11-06 -> 2018-01-30
|
2018-02-08 06:24:14 +00:00 |
|
|
Vincent Laporte
|
202fb6faea
|
coq: default to 8.7
|
2018-02-07 19:28:38 +00:00 |
|
|
Vincent Laporte
|
6944860c6e
|
ocamlPackages.tyxml: 4.0.1 -> 4.2.0
|
2018-02-02 07:33:23 +00:00 |
|
|
Vincent Laporte
|
dccd8a2685
|
ncmpc: fix build on darwin
|
2018-01-31 07:35:08 +00:00 |
|
|
Vincent Laporte
|
1c04923d64
|
mpd_clientlib: fix dynamic library on darwin
|
2018-01-31 06:50:20 +00:00 |
|
|
Vincent Laporte
|
aee1cebda7
|
why3: 0.88.1 -> 0.88.3
|
2018-01-14 05:51:06 +00:00 |
|
|
Vincent Laporte
|
bed805f4ed
|
ocamlPackages.uri: 1.9.5 -> 1.9.6
|
2018-01-14 05:33:36 +00:00 |
|
|
Vincent Laporte
|
1b43f4fe86
|
ocamlPackages.uri: 1.9.2 -> 1.9.5
|
2018-01-14 05:28:49 +00:00 |
|
|
Vincent Laporte
|
08492b31d1
|
ocamlPackages.mstruct: 1.3.3 -> 1.4.0
|
2018-01-14 06:28:13 +01:00 |
|
|
Vincent Laporte
|
66a0ac9358
|
pythonPackages.rabbitvcs: disable tests
|
2018-01-08 07:37:46 +00:00 |
|
|
Vincent Laporte
|
31031577c1
|
meld: 3.16.4 -> 3.18.0
|
2018-01-08 07:37:45 +00:00 |
|
|
Vincent Laporte
|
a0601f244b
|
gnumeric: 1.12.36 -> 1.12.38
goffice: 0.10.36 -> 0.10.38
|
2018-01-07 12:08:25 +00:00 |
|
|
Vincent Laporte
|
bec72bf65c
|
ocamlPackages.otr: 0.3.3 -> 0.3.4
|
2018-01-07 10:00:45 +00:00 |
|
|
Vincent Laporte
|
83110ac0be
|
ocamlPackages.notty: 0.1.1a -> 0.2.1
jackline: 2017-08-17 -> 2017-12-24
|
2018-01-04 17:52:56 +01:00 |
|
|
Vincent Laporte
|
efcb39233d
|
ocaml: adds an argument to enable flambda
|
2017-12-29 10:49:13 +01:00 |
|
|
Vincent Laporte
|
0004682e36
|
gtksourceview: run checks on Linux only
|
2017-12-28 11:28:42 +00:00 |
|
|
Vincent Laporte
|
a9d066a990
|
coqPackages.tlc: init at 20171206
TLC is a general purpose Coq library that provides an alternative to Coq's
standard library.
Homepage: http://www.chargueraud.org/softs/tlc/
|
2017-12-28 08:19:54 +01:00 |
|
|
Vincent Laporte
|
b320538f4c
|
coq: lablgtk is only needed for coqide
|
2017-12-23 11:11:56 +00:00 |
|
|
Vincent Laporte
|
24474528e4
|
coqPackages.contribs.containers: fix url
|
2017-12-22 17:07:25 +00:00 |
|
|
Vincent Laporte
|
25576df64c
|
coqPackages.contribs: recurse into the nested set
|
2017-12-22 16:56:20 +00:00 |
|
|
Vincent Laporte
|
fcb89df111
|
coqPackages.multinomials: init at 1.0
|
2017-12-18 15:30:38 +00:00 |
|
|
Vincent Laporte
|
5642f4ac6f
|
coqPackages: update documentation
|
2017-12-18 15:30:37 +00:00 |
|
|
Vincent Laporte
|
4c454a3208
|
coq: minor cleaning
|
2017-12-18 15:30:36 +00:00 |
|
|
Vincent Laporte
|
d9f41a5bce
|
coqPackages: move to a separate file and filter the package set
|
2017-12-18 15:30:36 +00:00 |
|
|
Vincent Laporte
|
32ac626973
|
ocamlPackages.sexplib: 0.9.3 -> 0.10.0
|
2017-12-16 21:47:59 +00:00 |
|
|
Vincent Laporte
|
12c5fe3e2d
|
ocamlPackages.cairo2: 0.4.6 -> 0.5
|
2017-12-16 12:14:35 +01:00 |
|
|
Vincent Laporte
|
d39886db5a
|
ocamlPackages.digestif: init at 0.5
Digestif provides some hash functions in OCaml.
Homepage: https://github.com/mirage/digestif
|
2017-12-15 17:46:31 +00:00 |
|
|
Vincent Laporte
|
8a5d33ed52
|
ocamlPackages.farfadet: init at 0.2
Farfadet is a printf-like for Faraday library.
Homepage: https://github.com/oklm-wsh/Farfadet
|
2017-12-15 17:46:30 +00:00 |
|
|
Vincent Laporte
|
3582a97464
|
ocamlPackages.faraday: init at 0.5.0
Faraday is a library for writing fast and memory-efficient serializers in
OCaml.
Homepage: https://github.com/inhabitedtype/faraday
|
2017-12-15 17:46:29 +00:00 |
|
|
Vincent Laporte
|
14608047f4
|
ocamlPackages.lru: init at 0.2.0
lru provides LRU caches for OCaml.
Homepage: https://github.com/pqwy/lru
|
2017-12-15 17:46:29 +00:00 |
|
|
Vincent Laporte
|
8278df916d
|
ocamlPackages.psq: init at 0.1.0
psq provides a functional priority search queue for OCaml.
Homepage: https://github.com/pqwy/psq
|
2017-12-15 17:46:28 +00:00 |
|
|
Vincent Laporte
|
6328c97a7b
|
ocamlPackages.topkg: add some comments
|
2017-12-15 06:33:56 +00:00 |
|
|
Vincent Laporte
|
5e4edcc4ec
|
ocamlPackages.topkg: refactoring
|
2017-12-14 07:36:29 +00:00 |
|
|
Vincent Laporte
|
594b7be89d
|
ocp-indent: 1.6.0 -> 1.6.1
|
2017-12-11 13:38:39 +00:00 |
|
|
Vincent Laporte
|
746d9d1b7b
|
ocamlPackages.markup: 0.7.4 -> 0.7.5
|
2017-12-10 13:01:40 +01:00 |
|
|
Vincent Laporte
|
1ccd3b9755
|
ott: 0.25 -> 0.27
|
2017-12-10 11:49:05 +00:00 |
|
|
Vincent Laporte
|
b1659c89c1
|
ocamlPackages.ulex: 1.1 -> 1.2
|
2017-12-10 12:24:10 +01:00 |
|
|
Vincent Laporte
|
01f473c8d1
|
facile: 1.1 -> 1.1.3
Move to ocamlPackages.
Add a META file to use with ocamlfind
|
2017-12-08 06:12:26 +00:00 |
|
|
Vincent Laporte
|
d946af4601
|
ocamlPackages.lambdaTerm: 1.11 -> 1.12.0
|
2017-12-07 07:21:32 +01:00 |
|
|
Vincent Laporte
|
d3e488c3a3
|
nettle: remove at 3.3
|
2017-12-06 20:39:41 +00:00 |
|
|
Vincent Laporte
|
0c8235e4ac
|
ocamlPackages.ocamlnet: 4.1.4 -> 4.1.5
|
2017-12-06 20:39:13 +00:00 |
|
|
Vincent Laporte
|
39af54f103
|
ocamlPackages.hex: 1.0.0 -> 1.2.0
|
2017-12-06 07:59:20 +01:00 |
|
|
Vincent Laporte
|
50bdf5900e
|
ocamlPackages.ocurl: 0.7.8 -> 0.8.0
|
2017-12-05 07:56:28 +01:00 |
|
|
Vincent Laporte
|
842d8e4766
|
frama-c: 20170501 (Phosphorus) -> 20171101 (Sulfur)
|
2017-12-03 12:26:02 +01:00 |
|
|
Vincent Laporte
|
41be8102e3
|
ocamlPackages.ptmap: 2.0.2 -> 2.0.3
|
2017-12-03 07:43:46 +00:00 |
|
|
Vincent Laporte
|
83005408d3
|
ocamlPackages.mlgmpidl: 1.2.4 -> 1.2.6
|
2017-12-03 08:21:55 +01:00 |
|
|
Vincent Laporte
|
464c63e8d4
|
coqPackages_8_4: remove
|
2017-12-02 08:55:01 +00:00 |
|
|
Vincent Laporte
|
da84fab60b
|
coqPackages_8_4.contribs: remove
|
2017-12-02 08:54:19 +00:00 |
|
|
Vincent Laporte
|
48aa378780
|
coqPackages_8_4.ynot: remove
|
2017-12-02 08:53:14 +00:00 |
|
|
Vincent Laporte
|
e8a316f17f
|
coqPackages_8_4.unimath: remove
|
2017-12-02 08:52:38 +00:00 |
|
|
Vincent Laporte
|
c1efbbab96
|
coqPackages_8_4.tlc: remove
|
2017-12-02 08:52:01 +00:00 |
|
|
Vincent Laporte
|
f6284c76da
|
coqPackages_8_4.ssreflect: remove
|
2017-12-02 08:51:36 +00:00 |
|
|
Vincent Laporte
|
f307634f9d
|
coqPackages_8_4.QuickChick: remove
|
2017-12-02 08:51:02 +00:00 |
|
|
Vincent Laporte
|
459860043a
|
coqPackages_8_4.paco: remove
|
2017-12-02 08:50:21 +00:00 |
|
|
Vincent Laporte
|
5b7e3de309
|
coqPackages_8_4.mathcomp: remove
|
2017-12-02 08:49:36 +00:00 |
|
|
Vincent Laporte
|
00a6d849f8
|
coqPackages_8_4.interval: remove
|
2017-12-02 08:48:41 +00:00 |
|
|
Vincent Laporte
|
1ba141bf18
|
coqPackages_8_4.heq: remove
|
2017-12-02 08:47:12 +00:00 |
|
|
Vincent Laporte
|
5bd0a09351
|
coqPackages_8_4.flocq: remove
|
2017-12-02 08:46:48 +00:00 |
|
|
Vincent Laporte
|
5a043e24da
|
coqPackages_8_4.fiat: remove
|
2017-12-02 08:46:16 +00:00 |
|
|
Vincent Laporte
|
13573cf129
|
coqPackages_8_4.domains: remove
|
2017-12-02 08:45:14 +00:00 |
|
|
Vincent Laporte
|
017321a91c
|
coqPackages_8_4.coquelicot: remove
|
2017-12-02 08:44:29 +00:00 |
|
|
Vincent Laporte
|
5add451ee3
|
coqPackages_8_4.coqeal: remove
|
2017-12-02 08:42:29 +00:00 |
|
|
Vincent Laporte
|
7a12b3de44
|
coqPackages_8_4.coqExtLib: remove
|
2017-12-02 08:41:40 +00:00 |
|
|
Vincent Laporte
|
1ada9f8283
|
coqPackages_8_4.bedrock: remove
|
2017-12-02 08:40:42 +00:00 |
|
|
Vincent Laporte
|
e36cb93283
|
coq_HEAD: remove
|
2017-12-02 08:38:58 +00:00 |
|
|
Vincent Laporte
|
871fa250b6
|
ocamlPackages.ipaddr: 2.7.2 -> 2.8.0
|
2017-12-01 22:26:54 +00:00 |
|
|
Vincent Laporte
|
191f03f02e
|
ocamlPackages.re: disable tests for OCaml ≥ 4.06
|
2017-11-29 20:46:24 +00:00 |
|
|
Vincent Laporte
|
81143b67aa
|
ocamlPackages.cstruct: fix evaluation
|
2017-11-28 01:11:15 +00:00 |
|
|
Vincent Laporte
|
bfc0959511
|
ocamlPackages.cstruct: 2.3.2 -> 3.0.2
|
2017-11-27 20:49:18 +00:00 |
|
|
Vincent Laporte
|
d0c513b470
|
ocamlPackages.yojson: 1.3.3 -> 1.4.0
|
2017-11-27 17:00:15 +00:00 |
|
|
Vincent Laporte
|
a8da423332
|
acgtk: fix for yojson ≥ 1.4
|
2017-11-27 17:00:15 +00:00 |
|
|
Vincent Laporte
|
64413dec3e
|
ocamlPackages.ppx_deriving_yojson: 3.0 -> 3.1
|
2017-11-27 05:07:22 +00:00 |
|
|
Vincent Laporte
|
620b93f10a
|
ocamlPackages.ppx_import: 1.1 -> 1.4
|
2017-11-26 20:52:17 +00:00 |
|
|
Vincent Laporte
|
1f5c2fe90a
|
gnumeric: 1.12.35 -> 1.12.36
goffice: 0.10.35 -> 0.10.36
|
2017-11-22 18:52:31 +00:00 |
|
|
Vincent Laporte
|
38c75afb1e
|
ocamlPackages.ppx_deriving: 4.2 -> 4.2.1
|
2017-11-22 12:27:32 +00:00 |
|
|
Vincent Laporte
|
c890abba57
|
ocamlPackages.rope: 0.5 -> 0.6
|
2017-11-20 07:39:34 +00:00 |
|
|
Vincent Laporte
|
7c749ba705
|
ocamlPackages.ocaml_gettext: 0.8.7 -> 0.8.8
|
2017-11-20 07:39:34 +00:00 |
|
|
Vincent Laporte
|
48f9d48a51
|
proofgeneral_HEAD: 2017-05-06 -> 2017-11-06
|
2017-11-16 00:01:42 +00:00 |
|
|
Vincent Laporte
|
f3811adea6
|
frama-c.why2: 2.37 -> 2.39
|
2017-11-14 21:48:50 +00:00 |
|
|
Vincent Laporte
|
26798bd6e0
|
ocamlPackages.batteries: 2.7.0 -> 2.8.0
Also renames the attribute from ocaml_batteries to batteries.
|
2017-11-14 17:53:53 +00:00 |
|
|
Vincent Laporte
|
d7e84159f8
|
coqPackages.interval: make bignums optional and propagated
|
2017-11-13 08:42:52 +00:00 |
|
|
Vincent Laporte
|
985cfa7a8a
|
coqPackages.bignums: do not fail with Coq 8.5
The bignums library is part of the standard library
of Coq ≤ 8.6.
|
2017-11-13 08:42:51 +00:00 |
|
|
Vincent Laporte
|
16eef54eee
|
ocamlPackages.fileutils: 0.5.2 -> 0.5.3
|
2017-11-12 17:48:33 +00:00 |
|
|
Vincent Laporte
|
dd1a9fa915
|
ocamlPackages.nocrypto: remove spurious dependency on oasis
|
2017-11-12 10:19:56 +00:00 |
|
|
Vincent Laporte
|
d9dd5425b0
|
ocamlPackages.angstrom: remove spurious dependency on oasis
|
2017-11-12 10:14:51 +00:00 |
|
|
Vincent Laporte
|
45431bed57
|
ocamlPackages.ocaml_gettext: 0.3.5 -> 0.3.7
|
2017-11-12 10:14:50 +00:00 |
|
|
Vincent Laporte
|
27d2eef21a
|
ocamlPackages.gen: 0.4.0.1 -> 0.5
|
2017-11-12 09:10:01 +00:00 |
|
|
Vincent Laporte
|
88389f43f7
|
ocamlPackages.containers: remove spurious dependency on oasis
|
2017-11-12 09:09:53 +00:00 |
|
|
Vincent Laporte
|
0f144feb31
|
libtorrent-rasterbar: set meta.platforms to Unix
|
2017-11-11 16:56:15 +00:00 |
|
|
Vincent Laporte
|
d426e9097c
|
ocamlPackages.camomile: 0.8.6 -> 0.8.7
|
2017-11-11 16:56:14 +00:00 |
|
|
Vincent Laporte
|
471175e0be
|
ocamlPackages.zed: 1.5 -> 1.6
|
2017-11-07 01:04:59 +00:00 |
|
|
Vincent Laporte
|
f35f995fff
|
dns-root-data: 2017-08-29 -> 2017-10-24
|
2017-11-06 19:22:38 +00:00 |
|
|
Vincent Laporte
|
a1449ea180
|
omake: 0.10.2 -> 0.10.3
|
2017-11-06 06:47:48 +00:00 |
|
|
Vincent Laporte
|
0cabd5fa67
|
ocamlPackages.ocaml-migrate-parsetree: 1.0.5 -> 1.0.7
|
2017-11-04 23:47:44 +00:00 |
|
|
Vincent Laporte
|
9e0159c04c
|
ocamlPackages.stdio: 0.9.0 -> 0.9.1
|
2017-11-04 18:50:23 +00:00 |
|
|
Vincent Laporte
|
a8c4829f7c
|
ocamlPackages.base: 0.9.3 -> 0.9.4
|
2017-11-04 17:47:38 +00:00 |
|
|
Vincent Laporte
|
8923737cd5
|
ocamlPackages.sexplib: 0.9.2 -> 0.9.3
|
2017-11-04 17:09:50 +00:00 |
|
|
Vincent Laporte
|
0ce1067b18
|
ocamlPackages.num: init at 1.1
|
2017-11-03 23:45:18 +00:00 |
|