public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
93,385 Commits 1 Branch 0 Tags
a229fd4ce386b38478df7b413b4cfa834a41c3fd
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Vincent Laporte 4e60f99b83 ProofGeneral: remove legacy version 4.3pre 2016-10-07 07:27:48 +02:00
Vincent Laporte 7b805bd0b0 ProofGeneral: 4.2 -> 4.4 2016-10-05 19:09:36 +02:00
Vincent Laporte 3cb65da139 asymptote: fix build on Darwin 
No GLUT and no OSMesa
 2016-10-03 19:09:56 +02:00
Vincent Laporte 19eba38b6c frama-c: Sodium -> Aluminium 2016-09-30 17:49:16 +02:00
Vincent Laporte 4aafe684d2 tagainijisho: set meta.platforms to linux only 2016-09-21 19:19:16 +02:00
Vincent Laporte c78c2b98c4 ecm: set meta.platforms to linux only 2016-09-21 19:14:11 +02:00
Vincent Laporte 38c143abe2 ocaml-qtest: 2.0.1 -> 2.2 2016-09-14 19:04:58 +02:00
Vincent Laporte b7fabd39b3 mpd: fix on darwin 2016-09-13 18:05:07 +02:00
Vincent Laporte 637412e373 mpv: fix on darwin 2016-09-12 14:42:38 +02:00
Vincent Laporte b8ed622bbb lua-sockets: fix on darwin 2016-09-12 14:42:37 +02:00
Vincent Laporte 17af87323d maxima: 5.36.1 -> 5.38.1 2016-08-29 15:52:05 +02:00
Vincent Laporte 58738e4bc7 qarte: 2.4.0 -> 3.2.0 2016-08-29 13:36:50 +02:00
Vincent Laporte 3a710c068f gnumeric: 1.12.26 -> 1.12.32 
goffice: 0.10.26 -> 0.10.32
 2016-08-26 13:36:58 +02:00
Vincent Laporte 94b245138d gnumeric: fix on darwin 2016-08-26 13:36:58 +02:00
Vincent Laporte 42701ee33e inkscape: fix on darwin 2016-08-25 15:39:53 +02:00
Vincent Laporte b4b244de2a cairomm: fix on darwin 2016-08-25 15:39:52 +02:00
Vincent Laporte 7a6cfe944a ocaml-magick: fix darwin build 2016-08-20 00:05:35 +02:00
Vincent Laporte 1e419d505b ocaml-uucd: 2.0.0 -> 4.0.0 2016-08-19 08:14:43 +02:00
Vincent Laporte a99d7b1071 ocaml-topkg: init at 0.7.8 2016-08-19 08:14:36 +02:00
Vincent Laporte 10767521a0 ocaml-bitstring-f1673f8: fix source URL 2016-08-19 07:58:05 +02:00
Vincent Laporte a4adca78ef monodevelop: use makeLibraryPath in wrapper (fixes #16844) 2016-07-15 14:22:33 +02:00
Vincent Laporte cb3d2d0526 fstar: fix build on Darwin 2016-06-30 16:57:32 +01:00
Vincent Laporte a577b3666e why3: 0.87.0 -> 0.87.1 2016-06-09 09:51:38 +02:00
Vincent Laporte 2bb6cb6d20 piqi-ocaml: 0.7.4 -> 0.7.5 2016-06-08 10:11:44 +02:00
Vincent Laporte 909f83f9f8 piqi: 0.6.12 -> 0.6.13 2016-06-08 10:11:44 +02:00
Vincent Laporte 64674d24c3 utop: 1.17 -> 1.19.2 2016-06-06 19:13:18 +02:00
Vincent Laporte 354e589275 lambda-term: 1.8 -> 1.10 2016-06-06 19:13:18 +02:00
Vincent Laporte f361008745 ocaml-lwt: 2.5.0 -> 2.5.2 2016-05-25 11:00:52 +02:00
Vincent Laporte 31247bc593 ocaml-ppx_tools: 0.99.2 -> 4.02.3 2016-05-25 11:00:52 +02:00
Vincent Laporte ce147f9a0d cppo: 1.1.2 -> 1.3.2 2016-05-22 17:22:25 +02:00
Vincent Laporte a42f845925 coq-dpdgraph: init at 0.5 2016-05-03 09:27:16 +02:00
Vincent Laporte 3a6c85da65 camlp5: 6.14 -> 6.16 2016-05-01 16:10:10 +02:00
Vincent Laporte 60a7c607d1 hol-light: fix build with camlp5-6.16 2016-05-01 16:10:09 +02:00
Vincent Laporte ce7181f9a8 smtube: fix build after qmakeHook 2016-04-29 07:21:31 +00:00
Vincent Laporte 5de3cfe210 smplayer: fix build after qmakeHook 2016-04-29 07:21:31 +00:00
Vincent Laporte 0452b58f0f gobject-introspection: fix on darwin 2016-04-28 18:36:09 +02:00
Vincent Laporte 71e0ce571b csdp: fix build on Darwin 
When the `INSTALL` file is present, `make` claims that the `install`
target is up-to-date.
 2016-04-22 11:53:43 +02:00
Vincent Laporte f3536f8ca0 cairo: build cairo-xlib even on Darwin 2016-04-19 18:06:53 +02:00
Vincent Laporte fdd2c6e2ca grass: fix build 2016-04-13 16:20:31 +00:00
Vincent Laporte 618b336808 coq-ext-lib: 0.9.0-beta3 -> 0.9.3 2016-04-12 19:43:49 +02:00
Vincent Laporte a036fda544 coq: 8.5 -> 8.5pl1 2016-04-12 19:43:11 +02:00
Vincent Laporte 30e17a9b71 ocamlPackages.cryptokit: 1.9 -> 1.10 2016-04-09 14:20:03 +02:00
Vincent Laporte d06dfe861d ocaml-text: 0.7.1 -> 0.8 2016-04-05 16:45:09 +00:00
Vincent Laporte 9dfa26d2ce why3: 0.86.3 -> 0.87.0 2016-04-05 08:09:00 +02:00
Vincent Laporte 13c6b9ba85 zim: 0.63 -> 0.65 2016-03-14 12:06:18 +01:00
Vincent Laporte 456d16ff4b verasco: init at 1.3 2016-03-14 12:06:18 +01:00
Vincent Laporte 014a30da93 why3: 0.86.2 -> 0.86.3 
And merge with ocamlPackages.why3
(the OCaml library would not work correctly if packaged separately).
 2016-03-04 09:29:10 +01:00
Vincent Laporte b219052bf1 menhir: 20151112 -> 20160303 2016-03-04 09:29:10 +01:00
Vincent Laporte c2a2c2ecd4 ltl2ba: fix build on darwin 2016-03-03 10:24:13 +01:00
Vincent Laporte b1801168e3 pixman: remove legacy patches 2016-02-29 19:14:41 +01:00
Vincent Laporte 694a5ba291 eprover: fix build on Darwin 2016-02-29 15:35:40 +01:00
Vincent Laporte ca535e4c1f SDL: propagate Cocoa dependency on darwin 2016-02-05 18:53:26 +01:00
Vincent Laporte 78eb1a076d cln: 1.3.3 -> 1.3.4 2016-02-03 10:08:26 +01:00
Vincent Laporte 4f8f5732fc smtube: 15.11.0 -> 16.1.0 2016-01-29 10:08:29 +01:00
Vincent Laporte ef8f074604 smplayer: 15.11.0 -> 16.1.0 2016-01-29 10:08:29 +01:00
Vincent Laporte c67c27dc82 pycairo: add darwin to meta.platforms 2016-01-28 11:02:26 +01:00
Vincent Laporte c0691a0659 compcert: 2.5 -> 2.6 2016-01-25 11:48:47 +01:00
Vincent Laporte 23fa59f08b ncmpcpp: 0.7 -> 0.7.2 2016-01-22 09:57:03 +01:00
Vincent Laporte 38226ea4c3 smtube: add missing build dependency 2016-01-15 10:04:06 +01:00
Vincent Laporte 32b8d31b3a gnumeric: 1.12.24 -> 1.12.26 2016-01-15 10:04:06 +01:00
Vincent Laporte 60e1740763 goffice: 0.10.24 -> 0.10.26 2016-01-15 10:04:06 +01:00
Vincent Laporte ca8ef0fa1d coq-interval: 2.1.0 -> 2.2.1 2016-01-06 09:35:05 +01:00
Vincent Laporte e182ddf008 coqPackages.coquelicot: init at 2.1.1 
Coquelicot is a Coq library for Reals.

Homepage: http://coquelicot.saclay.inria.fr/
 2016-01-06 09:13:38 +01:00
Vincent Laporte 2027caa875 coq-flocq: 2.5.0 -> 2.5.1 2016-01-04 23:37:40 +01:00
Vincent Laporte 3553258b1d Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" 
This reverts commit db9bc6875f.

That reverted commit had introduced a wrong URL.
 2016-01-04 23:37:40 +01:00
Vincent Laporte 7462d96a65 ssreflect, mathcomp: fix build 2016-01-04 23:37:40 +01:00
Vincent Laporte fde89b6762 alt-ergo: also supported on Darwin 2016-01-04 17:17:44 +01:00
Vincent Laporte 45f2447bd2 skrooge: 1.10.0 -> 1.12.5 2016-01-03 21:09:18 +01:00
Vincent Laporte 48e7eb65f2 ocaml-iso8601: init at 0.2.4 
OCaml library for ISO 8601 and RFC 3999 date parsing.

Homepage: http://sagotch.github.io/ISO8601.ml/
 2015-12-15 22:43:25 +01:00
Vincent Laporte 23efd0e617 ocaml-hex: 0.2.0 -> 1.0.0 2015-12-15 22:02:15 +01:00
Vincent Laporte 4a00e1793b ocaml-tuntap: init at 1.3.0 2015-12-15 21:57:54 +01:00
Vincent Laporte 038f4ce1d1 menhir: 20151110 -> 20151112 2015-12-15 21:36:57 +01:00
Vincent Laporte 680d909c97 ocaml-easy-format: 1.1.0 -> 1.2.0 2015-12-15 21:07:33 +01:00
Vincent Laporte db9a93f992 ocaml-batteries: 2.3.1 -> 2.4.0 2015-12-15 20:58:46 +01:00
Vincent Laporte 76940c5e4c ocaml-why3: init at 0.86.2 2015-12-10 09:31:27 +01:00
Vincent Laporte 0a745f5dd2 indilib: 1.0.0 -> 1.1.0 
Older source no longer available
 2015-12-04 23:36:48 +01:00
Vincent Laporte dc6b4e7fdd coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 2015-12-03 19:30:19 +01:00
Vincent Laporte 69b6125edf ocaml-dolog: 1.1 -> 3.0 2015-12-02 21:03:59 +01:00
Vincent Laporte a4a334bbe0 smtube: 15.9.0 -> 15.11.0 2015-12-02 19:46:23 +01:00
Vincent Laporte da4706f72a smplayer: 15.9.0 -> 15.11.0 2015-12-02 19:46:23 +01:00
Vincent Laporte 241914a8f7 ocaml-uucp: 0.9.1 -> 1.1.0 2015-12-02 19:46:23 +01:00
Vincent Laporte 38eb17c2e2 why3: 0.86.1 -> 0.86.2 2015-12-01 11:04:08 +01:00
Vincent Laporte 6528550a5f grass: 7.0.1 -> 7.0.2 2015-12-01 09:15:28 +01:00
Vincent Laporte 0b7fd5f621 ocaml-yojson: 1.1.8 -> 1.2.3 2015-11-30 18:07:36 +01:00
Vincent Laporte 2ccc9a8bd1 easy-format: 1.0.2 -> 1.1.0 2015-11-30 11:46:14 +01:00
Vincent Laporte 6a622acc87 merlin: 2.3 -> 2.3.1 2015-11-28 10:42:08 +01:00
Vincent Laporte a3fa690fa2 ocaml: add local copy of the ocamlbuild patch 2015-11-28 09:48:55 +01:00
Vincent Laporte 2bc3965bb7 coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 2015-11-21 04:18:14 +01:00
Vincent Laporte 6cc033b99e menhir: refactor to generic; init at 20151110 for OCaml >= 4.02 2015-11-11 12:30:32 +01:00
Vincent Laporte 39e585b925 qgis: enable GRASS (close #9931) 2015-11-09 15:50:12 +01:00
Vincent Laporte 931b56bafc grass: 6.4.0RC6 -> 7.0.1 2015-11-09 15:50:12 +01:00
Vincent Laporte 080420676b csdp: does not require Atlas 2015-11-06 22:56:58 +01:00
Vincent Laporte a25d7d523e ocaml-csv: 1.4.1 -> 1.4.2 2015-10-30 06:03:50 +01:00
Vincent Laporte 7cb6dbc3d0 merlin: 2.2 -> 2.3 2015-10-29 21:35:41 +01:00
Vincent Laporte 2b7ded8d62 gnumeric: 1.12.23 -> 1.12.24 2015-10-29 21:35:41 +01:00
Vincent Laporte 32267c25ce qarte: 2.3.0 -> 2.4.0 2015-10-28 08:22:51 +01:00
Vincent Laporte f5c0d29c58 goffice: 0.10.22 -> 0.10.24 2015-10-21 04:43:16 +02:00
Vincent Laporte f88399fe20 ocaml-lwt: enable ppx 2015-10-20 21:53:12 +02:00
Vincent Laporte 62a7ba20c1 ocaml-ppx_tools: init at 0.99.2 
Tools for authors of ppx rewriters

Homepage: https://github.com/alainfrisch/ppx_tools
 2015-10-20 21:53:12 +02:00
Vincent Laporte 1df3f3b73a swiften: fix build 2015-10-20 07:13:18 +02:00