public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
131,787 Commits 1 Branch 0 Tags
4fcadba5eabba61c47bdd2a82dc60cdc4e7d09d7
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 4fcadba5ea ocamlPackages: default to 4.05 2018-03-14 16:24:27 +01:00
Vincent Laporte 903f4dd3d4 clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte eedc173276 clingo: fix URL 2018-03-12 16:51:54 +00:00
Vincent Laporte 0ceb110197 ocamlPackages.sawja: 1.5.2 -> 1.5.3 2018-03-09 07:53:49 +01:00
Vincent Laporte 1d4bbef0e8 wyrd: fix build 2018-03-08 14:48:23 -06:00
Vincent Laporte 1aae247be1 exa: fix build on darwin 2018-03-01 17:24:57 +00:00
Vincent Laporte 504bf92ee2 ocaml: 4.06.0 -> 4.06.1 2018-03-01 14:57:06 +01:00
Vincent Laporte 7f327dfa63 ocamlPackages.ctypes: 0.11.5 -> 0.13.1 2018-02-28 19:10:34 +01:00
Vincent Laporte d8ab8ddae1 aspcud: 1.9.1 -> 1.9.4 2018-02-28 19:09:43 +01:00
Vincent Laporte 4ab5d3a1e7 ocamlPackages.cohttp: 1.0.0 -> 1.0.2 2018-02-28 19:09:14 +01:00
Vincent Laporte a3c143c39c ocamlPackages.camlp5: 7.03 -> 7.05 2018-02-28 19:08:40 +01:00
Vincent Laporte 629a2398db ocamlPackages.angstrom: 0.5.1 -> 0.8.1 2018-02-27 08:28:27 +01:00
Vincent Laporte c5eeb838c8 smplayer: 17.9.0 -> 18.2.2 2018-02-26 19:52:58 +01:00
Vincent Laporte c888d97013 ocamlPackages.cil: fix build on Darwin 2018-02-21 17:48:49 +00:00
Vincent Laporte 2aeafe7ef4 ocamlPackages.bitv: init at 1.3 
bitv is a bit vector library for OCaml.

Homepage: https://github.com/backtracking/bitv
 2018-02-19 18:55:31 +01:00
Vincent Laporte 0c7a1fcf96 ppl: fix build 2018-02-18 12:11:06 +00:00
Vincent Laporte 7c2b2ddd68 ocamlPackages.lwt_ssl: init at 1.1.2 2018-02-18 11:15:28 +01:00
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