1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-25 03:17:13 +00:00
nixpkgs/pkgs/development/ocaml-modules
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
..
alcotest ocaml-alcotest: 0.3.2 -> 0.4.5 2015-10-13 06:14:25 +02:00
ansiterminal
asn1-combinators ocaml.asn1-combinators: mark broken on i686 2015-09-02 20:29:26 +02:00
async Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_extra Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_find Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_kernel Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_shell Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_ssl Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
async_unix Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
atd ocaml-atd: add initial version (1.1.2) to the system 2015-05-25 13:42:07 -07:00
atdgen ocaml-atdgen: add minimal version (1.6.0) to the system 2015-05-25 13:45:10 -07:00
base64
batteries ocaml-batteries: 2.3.1 -> 2.4.0 2015-12-15 20:58:46 +01:00
bin_prot Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
biniou
bitstring Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
bolt bolt: fix build with OCaml 4.02 2015-06-25 08:55:29 +02:00
calendar
camlimages
camlpdf
camlzip
camomile
cil
cmdliner ocaml-cmdliner: 0.9.7 -> 0.9.8 2015-10-14 19:27:10 +02:00
cohttp cohttp: 0.17.1 -> 0.19.3 2016-01-12 16:21:55 +01:00
comparelib Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
conduit Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
config-file
containers ocamlPackages.containers: init at 0.15 2016-02-17 20:42:14 +01:00
core Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
core_extended Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
core_kernel Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
cpdf
cryptgps
cryptokit
cstruct ocaml-cstruct: assert minimal OCaml version (4.01) 2015-06-01 22:37:03 +02:00
csv ocaml-csv: 1.4.1 -> 1.4.2 2015-10-30 06:03:50 +01:00
ctypes ocaml-ctypes: requires OCaml >= 4 2015-10-16 13:28:15 +02:00
custom_printf Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
dolog ocaml-dolog: 1.1 -> 3.0 2015-12-02 21:03:59 +01:00
dypgen
easy-format ocaml-easy-format: 1.1.0 -> 1.2.0 2015-12-15 21:07:33 +01:00
eliom eliom: 4.1.0 -> 4.2.0 2016-01-01 19:04:41 +01:00
enumerate Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
erm_xml Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
erm_xmpp Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
expat
extlib
ezjsonm
faillib ocaml-faillib: init at 111.17.00 2015-06-27 16:54:20 +00:00
fieldslib Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
fileutils ocaml-fileutils: 0.4.5 -> 0.5.0 2015-07-23 19:32:21 +02:00
fix
fontconfig ocaml-fontconfig: init at 20131103 2015-09-19 18:27:14 +02:00
functory
gapi-ocaml
gen ocamlPackages.gen: init at 0.3 2016-02-17 20:42:13 +01:00
gg ocaml-gg: 0.9.0 -> 0.9.1 2015-10-13 06:14:25 +02:00
gmetadom
gtktop
herelib ocaml-herelib: works also with OCaml-4.0+ 2015-06-20 18:24:40 +02:00
hex ocaml-hex: 0.2.0 -> 1.0.0 2015-12-15 22:02:15 +01:00
http
io-page ocaml-io-page: 1.4.0 -> 1.5.1 2015-06-27 14:48:12 +02:00
ipaddr ocaml-ipaddr: add version (2.6.1) to the system 2015-05-24 12:33:19 -07:00
iso8601 ocaml-iso8601: init at 0.2.4 2015-12-15 22:43:25 +01:00
javalib
jingoo ocaml-jingoo: add initial version (1.2.7) to the system 2015-05-25 10:16:43 -07:00
jsonm
lablgl
lablgtk lablgtk-2.14: fix build with OCaml-4.02 (needs camlp4) 2015-06-25 08:55:30 +02:00
lablgtk-extras
lablgtkmathview
lambda-term
llvm ocaml-llvm: init at 3.7.0 2015-10-16 13:28:54 +02:00
lwt lwt: 2.4.6 -> 2.5.0 2016-01-01 19:04:32 +01:00
macaque ocaml-macaque: 0.7.1 -> 0.7.2 2015-07-23 19:30:39 +02:00
magic-mime
magick
menhir menhir: 20151112 -> 20160303 2016-03-04 09:29:10 +01:00
mlgmp
mysql Make ocaml's mysql propagate mysql.lib 2015-07-23 19:50:01 +02:00
nocrypto ocaml-nocrypto: init at 0.5.1 2015-10-09 21:23:06 +02:00
ocaml-cairo
ocaml-cairo2
ocaml-result ocamlPackages.result: init at 1.1 2016-02-29 20:32:58 +01:00
ocaml-text ocaml-text: 0.6 -> 0.7.1 2015-07-07 09:39:53 +02:00
ocamlfuse
ocamlgraph
ocamlmake
ocamlnat
ocamlnet
ocamlsdl use the sourceforge mirrors everywhere 2016-02-28 12:07:42 +00:00
ocplib-endian
ocsigen-deriving
ocsigen-server ocsigen-server: 2.5 -> 2.6 2016-01-01 19:04:40 +01:00
ocurl ocamlPackages.ocurl: update from 0.7.2 to 0.7.5 2015-08-20 17:07:18 +02:00
odn Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
ojquery
optcomp fix: add missing versions 2015-06-04 23:34:14 +03:00
otfm
ounit
pa_bench Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
pa_ounit Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
pa_test Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
pcre ocaml-pcre: use buildOcaml 2016-01-06 20:00:20 +01:00
pgocaml
pipebang ocaml-pipebang: add initial version (110.01.00) to the system 2015-05-24 12:32:55 -07:00
piqi Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
piqi-ocaml Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
pprint
ppx_tools ocaml-ppx_tools: init at 0.99.2 2015-10-20 21:53:12 +02:00
pycaml
qcheck ocaml-qcheck: init at 0.4.0.1 2015-07-01 20:23:19 +02:00
qtest
re ocaml-re: 1.4.0 -> 1.4.1 2015-07-01 20:23:19 +02:00
re2 Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
react
reactivedata
safepass
sawja
sequence ocamlPackages.sequence: init at 0.6 2016-02-17 20:42:14 +01:00
sexplib Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
sqlite3
sqlite3EZ
ssl use the sourceforge mirrors everywhere 2016-02-28 12:07:42 +00:00
stringext ocaml-stringext: 1.3.0 -> 1.4.0 2015-07-01 20:23:19 +02:00
textutils Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
tsdl ocamlPackages.tsdl: init at 0.9.0 2016-02-29 20:32:58 +01:00
tuntap ocaml-tuntap: init at 1.3.0 2015-12-15 21:57:54 +01:00
twt ocaml-twt: 0.93.2 -> 0.94.0 2015-10-04 01:17:33 +02:00
type_conv Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
typerep Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
tyxml
ulex ulex: enable mac building 2015-07-01 20:17:03 +00:00
uri ocaml-uri: 1.9.0 -> 1.9.1 2015-07-01 20:23:19 +02:00
uucd
uucp ocaml-uucp: 0.9.1 -> 1.1.0 2015-12-02 19:46:23 +01:00
uuidm Remove all dots at end of descriptions 2016-02-27 17:30:29 +00:00
uunf
uuseg
uutf
variantslib Revert "ocaml-modules: fix naming: "_" -> "-"" 2015-09-06 21:15:10 +02:00
vg
x509 ocaml-x509: 0.4.0 -> 0.5.0 2016-02-03 15:45:21 +01:00
xml-light
xmlm
yojson ocaml-yojson: 1.1.8 -> 1.2.3 2015-11-30 18:07:36 +01:00
zarith
zed