alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/development/ocaml-modules
History
Vincent Laporte b6ca91fba5 ocamlPackages.elina: init at 1.1 
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
2018-12-16 08:54:51 +00:00
..
alcotest jbuilder: 1.0.1 -> dune: 1.1.1 2018-09-15 19:32:32 +00:00
angstrom buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ansiterminal
apron
asn1-combinators ocamlPackages.asn1-combinators: remove spurious dependency to Camlp4 2018-07-29 13:32:04 +00:00
astring ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
async
async_extra
async_find
async_kernel
async_shell
async_unix
atd buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
bap treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
base64
batteries ocamlPackages.batteries: disable tests on Aarch64 2018-09-13 05:29:54 +00:00
benchmark
bigstringaf buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
bin_prot ocamlPackages.bin_prot_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:36 +00:00
biniou buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
bisect_ppx Switch to buildDunePackage, and remove redundancies 2018-12-01 17:46:29 +01:00
bisect_ppx-ocamlbuild bisect_ppx-ocamlbuild: Propagate ocamlbuild 2018-12-01 23:47:58 +01:00
bitstring buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
bitv ocamlPackages.bitv: init at 1.3 2018-02-19 18:55:31 +01:00
bolt ocamlPackages.bolt: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
bos ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
cairo2 ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
calendar
camlimages ocamlPackages.camlimages: 5.0.0 -> 5.0.1 2018-12-07 04:22:10 +00:00
camlpdf
camlzip
camomile buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
checkseum ocamlPackages.checkseum: init at 0.0.3 2018-12-11 08:12:27 +00:00
cil ocamlPackages.cil: disable for OCaml ≥ 4.06 2018-08-29 12:49:44 +00:00
cmdliner ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
cohttp buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
comparelib ocamlPackages.comparelib: 109.60.00 -> 113.00.00 2018-03-20 20:30:38 -07:00
conduit buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
config-file
containers ocamlPackages.containers: 1.3 -> 1.4 2018-03-30 22:53:08 -07:00
core
core_extended
core_kernel
cow ocamlPackages.topkg: refactoring 2017-12-14 07:36:29 +00:00
cpdf cpdf: add license (#43229) 2018-07-08 22:11:19 +01:00
cpuid ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
cryptgps ocamlPackages.ocaml_cryptgps: disable for OCaml ≥ 4.06 2018-08-29 12:49:42 +00:00
cryptokit
cstruct ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
csv ocamlPackages.csv: 2.1 -> 2.2 2018-11-18 23:32:14 -08:00
ctypes ocamlPackages.ctypes: 0.11.5 -> 0.13.1 2018-02-28 19:10:34 +01:00
curses ocamlPackages.curses: Fix build after ncurses5 changes 2018-02-23 06:21:11 +02:00
custom_printf
decompress ocamlPackages.topkg: refactoring 2017-12-14 07:36:29 +00:00
digestif ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
doc-ock buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
doc-ock-html buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
doc-ock-xml buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
dolmen
dolog
dtoa ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
dypgen ocamlPackages.dypgen: disable for OCaml ≥ 4.06 2018-08-29 12:49:39 +00:00
earley ocamlPackages.earley: init at 1.0.2 (#40755) 2018-05-19 23:01:40 +02:00
earley_ocaml ocamlPackages.earley_ocaml: init at 1.0.2 2018-05-21 16:10:12 +00:00
easy-format
elina ocamlPackages.elina: init at 1.1 2018-12-16 08:54:51 +00:00
eliom pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
elpi ocamlPackages.elpi: 1.0.5 -> 1.1.0 2018-10-15 13:41:45 +00:00
enumerate ocamlPackages.enumerate: disable for OCaml ≥ 4.06 2018-08-29 12:49:37 +00:00
erm_xml ocamlPackages.erm_xml: 0.3 -> 0.3+20180112 2018-09-21 17:04:22 +00:00
erm_xmpp ocamlPackages.erm_xmpp: 0.3 -> 0.3+20180112 2018-09-21 17:04:23 +00:00
estring ocamlPackages.estring: disable for OCaml ≥ 4.06 2018-07-28 14:16:41 +00:00
expat ocamlPackages.ocaml_expat: 1.0.0 -> 1.1.0 2018-03-30 21:53:20 -07:00
extlib ocamlPackages.ocaml_extlib: 1.7.4 -> 1.7.5 (#44736) 2018-08-14 00:59:32 +02:00
ezjsonm buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ezxmlm buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
facile facile: 1.1 -> 1.1.3 2017-12-08 06:12:26 +00:00
faillib ocamlPackages.faillib: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
faraday buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
farfadet ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
fieldslib ocamlPackages.fieldslib_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:37 +00:00
fileutils treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
fix
fmt ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
fontconfig
fpath ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
frontc ocamlPackages.frontc: 3.4 -> 3.4.1 2018-12-05 08:49:40 +00:00
functoria ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
functory ocamlPackages.functory: 0.5 -> 0.6 (#41596) 2018-06-06 22:18:11 +02:00
gapi-ocaml buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
gen
gg ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
git buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
git-http buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
git-unix buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
gmetadom
gtktop ocamlPackages.gtktop: disable for OCaml ≥ 4.06 2018-08-29 12:49:40 +00:00
herelib ocamlPackages.herelib: 109.35.02 -> 112.35.00 2018-03-20 20:46:33 -07:00
hex ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
higlo
http ocamlPackages.ocaml_http: disable on OCaml ≥ 4.06 2018-05-09 16:12:41 +00:00
httpaf buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
imagelib ocamlPackages.imagelib: init at 20171028 (#40910) 2018-05-23 10:33:26 +02:00
inifiles
inotify
integers ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
io-page buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ipaddr buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
iri ocamlPackages.iri: init at 0.4.0 2018-07-09 17:15:43 +00:00
iso8601
janestreet buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
javalib ocamlPackages.javalib: 2.3.5 -> 3.0 2018-12-07 03:28:54 +00:00
jingoo ocamlPackages.jingoo: 1.2.7 -> 1.2.18 (#44106) 2018-07-29 21:18:09 +02:00
jsonm ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
lablgl treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
lablgtk treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
lablgtk-extras
lablgtk3 ocamlPackages.lablgtk3: 3.0.beta1 -> 3.0.beta2 2018-12-14 09:11:25 +00:00
lablgtkmathview
labltk ocamlPackages.labltk: init at 8.06 (#43963) 2018-07-29 08:35:35 +00:00
lambda-term buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
linenoise buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
llvm
logs ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
lru ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
lwt buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
lwt_log buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
lwt_react buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
lwt_ssl buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
macaque
magic-mime
magick ocamlPackages.magick: disable for OCaml ≥ 4.06 2018-08-29 12:49:44 +00:00
markup ocamlPackages.markup: 0.7.4 -> 0.7.5 2017-12-10 13:01:40 +01:00
menhir ocamlPackages.menhir: 20181026 -> 20181113 2018-11-21 06:12:33 +00:00
merlin_extend
mlgmp
mlgmpidl ocamlPackages.mlgmpidl: 1.2.6 -> 1.2.7 2018-09-15 11:09:53 +00:00
mparser
mstruct buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
mtime ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
mysql pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
nocrypto ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
notty ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
num
ocaml-cairo ocamlPackages.ocaml_cairo: disable for OCaml ≥ 4.06 2018-08-29 12:49:42 +00:00
ocaml-gettext
ocaml-libvirt libvirt: 3.10.0 -> 4.1.0 2018-03-08 23:45:28 +00:00
ocaml-migrate-parsetree buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ocaml-result
ocaml-text
ocamlfuse
ocamlgraph
ocamlmake treewide: Don't use envHook anymore 2017-12-30 22:04:22 -05:00
ocamlnat
ocamlnet ocamlPackages.ocamlnet: 4.1.5 -> 4.1.6 2018-05-09 16:39:28 +00:00
ocamlsdl ocamlPackages.ocamlsdl: disable for OCaml ≥ 4.06 2018-08-29 12:49:45 +00:00
ocb-stubblr ocamlPackages.topkg: refactoring 2017-12-14 07:36:29 +00:00
ocf
ocp-ocamlres ocamlPackages.ocp-ocamlres: 0.3 -> 0.4 2018-03-31 11:44:20 +02:00
ocplib-endian
ocplib-json-typed
ocplib-simplex alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 2018-10-13 17:45:45 +00:00
ocsigen-deriving ocamlPackages.ocsigen_deriving: 0.7.1 -> 0.8.1 2018-04-04 15:20:26 +00:00
ocsigen-server treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
ocsigen-start ocamlPackages.ocsigen-start: 1.0.0 -> 1.1.0 2018-04-28 14:31:51 +00:00
ocsigen-toolkit ocamlPackages.ocsigen-toolkit: use opaline 2018-06-06 07:14:25 +00:00
octavius ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ocurl ocamlPackages.ocurl: 0.8.0 -> 0.8.1 2018-05-14 00:12:44 -07:00
odn ocamlPackages.ocaml_data_notation: disable for OCaml ≥ 4.06 2018-08-29 12:49:43 +00:00
odoc buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ojquery ocamlPackages.ocaml_lwt: 3.3.0 -> 4.1.0 2018-10-08 05:59:24 +00:00
omd
opam-file-format ocamlPackages.opam-file-format: 2.0.0-rc2 -> 2.0.0 2018-11-18 21:17:09 -08:00
optcomp ocamlPackages.optcomp: fix build with OCaml 4.06 2018-04-04 15:20:20 +00:00
opti ocamlPackages.opti: init at 1.0.3 2018-12-01 19:00:23 -08:00
optint ocamlPackages.optint: init at 0.0.2 2018-12-11 08:12:27 +00:00
otfm ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
otr ocamlPackages.otr: 0.3.3 -> 0.3.4 2018-01-07 10:00:45 +00:00
ounit
owee
pa_bench ocamlPackages.pa_bench: 112.06.00 -> 113.00.00 2018-03-20 21:01:20 -07:00
pa_ounit ocamlPackages.pa_ounit: disable for OCaml ≥ 4.06 2018-08-29 12:49:41 +00:00
pa_test
pcre ocamlPackages.ocaml_pcre: cleanup 2018-05-09 16:12:36 +00:00
pgocaml
pipebang ocamlPackages.pipebang: 110.01.00 -> 113.00.00 2018-03-20 21:30:28 -07:00
piqi ocamlPackages.piqi: 0.6.13 -> 0.6.14 (#47621) 2018-10-01 23:59:56 +02:00
piqi-ocaml ocamlPackages.piqi-ocaml: fix build with OCaml 4.06 2018-08-22 14:58:06 +00:00
pprint
ppx_blob ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ppx_derivers buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
ppx_deriving ocamlPackages.ppx_deriving: remove spurious dependency to camlp4 2018-07-14 17:17:51 +00:00
ppx_deriving_yojson ocamlPackages.ppx_deriving_yojson: disable tests 2018-12-12 09:34:38 +00:00
ppx_gen_rec ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ppx_import ocamlPackages.ppx_import: 1.5 -> 1.5-3 2018-12-12 09:34:38 +00:00
ppx_tools ocamlPackages.ppx_tools: enable for OCaml 4.07 2018-07-14 17:17:51 +00:00
ppx_tools_versioned ocamlPackages.ppx_tools_versioned: remove spurious dependency to camlp4 2018-07-09 17:15:33 +00:00
ppxlib buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
process
psmt2-frontend ocamlPackages.psmt2-frontend: init at 0.1 2018-06-25 13:38:55 +00:00
psq ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ptime ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ptmap
pycaml [bot]: remove unreferenced code 2018-07-20 18:48:37 +00:00
qcheck treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
qtest
re buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
re2 pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
react ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
reactivedata ocamlPackages.reactivedata: use opaline 2018-06-06 07:14:23 +00:00
rope ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
rresult ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
safepass
sawja ocamlPackages.javalib: 2.3.5 -> 3.0 2018-12-07 03:28:54 +00:00
sedlex
seq ocamlPackages.seq: init at 0.1 2018-09-05 17:12:13 +00:00
sequence buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
sexplib
spacetime_lib
sqlexpr buildDunePackage: new support function; use it to refactor some OCaml derivations 2018-11-07 10:08:03 +01:00
sqlite3
sqlite3EZ ocamlPackages.sqlite3EZ: disable for OCaml ≥ 4.06 2018-08-29 12:49:41 +00:00
ssl ocamlPackages.ssl: 0.5.4 -> 0.5.5 2018-03-30 22:37:30 -07:00
stdint ocamlPackages.stdint: 0.3.0 -> 0.5.0 2018-03-30 23:17:09 -07:00
stringext
textutils
tls pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
topkg ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
tsdl ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
tuntap
twt
type_conv ocamlPackages.type_conv: 112.01.01 -> 113.00.02 2018-03-30 22:22:20 +02:00
typerep
tyxml ocamlPackages.{tyxml,lwt}: always enable camlp4 support 2018-09-05 06:06:48 +00:00
uchar ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
ulex ulex: remove version 0.8 2018-10-10 19:42:54 +02:00
uri ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uucd ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uucp ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uuidm ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uunf ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uuseg ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
uutf ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
variantslib ocamlPackages.variantslib_p4: disable for OCaml ≥ 4.06 2018-08-29 12:49:38 +00:00
vg ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
visitors ocamlPackages.visitors: 20171124 -> 20180513 2018-11-18 21:01:34 -08:00
wasm ocamlModules.wasm: add wasm binary 2018-08-13 15:36:44 +00:00
wtf8 ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
x509 ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
xml-light
xmlm ocamlPackages.*: remove unnecessary unpackCmd 2018-11-12 17:25:18 +00:00
xtmpl ocamlPackages.xtmpl: 0.16.0 -> 0.17.0 (#43304) 2018-07-11 01:13:01 +02:00
yojson jbuilder: 1.0.1 -> dune: 1.1.1 2018-09-15 19:32:32 +00:00
zarith Revert "treewide: fixup breakage due to absolute compiler path" 2018-08-22 01:14:53 +02:00
zed jbuilder: 1.0.1 -> dune: 1.1.1 2018-09-15 19:32:32 +00:00
zmq ocamlPackages.zmq: fix build with non-default OCaml 2018-12-05 08:48:59 +00:00