Cyril Cohen 7e589a45ef coqPackages: etc ... - use propagatedBuildInputs to make sure ocaml plugin stuff is in path - updated coqPackage.heq (broken url) - fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation - adding `COQCORELIB` environement variable to put ocaml plugin files in the right place - make metaFetch available from `coqPackages`		2022-05-12 06:11:43 +02:00
..
afl-persistent
alcotest	ocamlPackages.alcotest: 1.4.0 -> 1.5.0	2022-04-22 13:58:12 +02:00
angstrom
angstrom-async
angstrom-lwt-unix
angstrom-unix
ansiterminal
apron
arp
asn1-combinators
astring
atd	ocamlPackages.{atd,atdgen}: 2.2.1 → 2.4.1	2022-04-29 09:38:28 +02:00
atdgen	ocamlPackages.{atd,atdgen}: 2.2.1 → 2.4.1	2022-04-29 09:38:28 +02:00
awa
bap	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
base64
batteries	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
benchmark	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
bheap
bigarray-compat
bigarray-overlap
bigstring
bigstringaf
biniou	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
biocaml
bisect_ppx
bistro
bitstring	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
bitv	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
bjack	ocamlPackages.bjack: init at 0.1.6	2022-04-18 15:17:46 +02:00
bls12-381
bos
brisk-reconciler	ocamlPackages.brisk-reconciler: init unstable-2020-12-02	2022-04-20 07:22:10 +02:00
bz2	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
ca-certs
ca-certs-nss
cairo2
calendar
callipyge
camlimages
camlp-streams	ocamlPackages.camlp-streams: init at 5.0	2022-04-29 09:38:28 +02:00
camlpdf	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
camlzip	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
camomile	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
caqti	ocamlPackages.caqti: 1.7.0 -> 1.8.0	2022-04-22 13:58:12 +02:00
carton
cfstream
chacha
charInfo_width
checkseum
cil
cmdliner	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
cohttp
coin
color
conduit
config-file
containers
cooltt
cow
cpdf	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
cpu
cpuid
crowbar
cryptgps	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
cryptokit	ocamlPackages.cryptokit: 1.16.1 → 1.17	2022-05-10 17:47:59 +02:00
csexp
cstruct	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
csv	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
ctypes	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
cudf
curly
curses	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
dap
data-encoding
dbf
decompress
diet
digestif
directories
dispatch
dns
dolmen
dolog
domain-name
dose3
dssi	ocamlPackages.dssi: init at 0.1.5	2022-04-18 16:06:31 +02:00
dtoa
duff
dum
dune-action-plugin	ocamlPackages.dune-action-plugin: fix conflict with vendored csexp	2022-04-26 22:01:25 +02:00
dune-build-info
dune-configurator
dune-glob	ocamlPackages.dune-glob: fix conflict with vendored csexp	2022-04-26 22:01:25 +02:00
dune-private-libs	ocamlPackages.dune-site: fix conflict with vendored csexp	2022-04-26 22:01:25 +02:00
dune-rpc	ocamlPackages.dune-rpc: init at ${dune_3.version}	2022-04-26 21:50:24 +02:00
dune-site	ocamlPackages.dune-site: fix conflict with vendored csexp	2022-04-26 22:01:25 +02:00
duration
dyn
dypgen	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
earley
earlybird
easy-format	ocamlPackages.easy-format: 1.2.0 → 1.3.2	2022-05-10 13:24:09 +02:00
eigen
either
elina
eliom
elpi	coqPackages: etc	2022-05-12 06:11:43 +02:00
emile
encore
eqaf
erm_xml	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
erm_xmpp
ethernet
expat	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
extlib	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ezjsonm
ezxmlm
facile
faraday
farfadet	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
fdkaac
ff
ffmpeg	ocamlPackages.ffmpeg: 1.1.0 -> 1.1.3	2022-04-18 22:20:11 +02:00
fiber	ocamlPackages.fiber: init at ${dune_3.version}	2022-04-26 22:00:57 +02:00
fileutils
fix
flac
flex	ocamlPackages.flex: init unstable-2020-09-12	2022-04-20 09:41:27 +02:00
fmt	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
fontconfig
fpath	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
frontc	ocamlPackages.frontc: 3.4.1 -> 4.1.0	2022-04-18 21:53:30 +02:00
functoria
functory	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
gapi-ocaml
gen
gen_js_api	ocamlPackages.gen_js_api: init at 1.0.9	2022-04-18 15:28:49 +02:00
genspio
getopt
gg
git
gluten
gmap
gmetadom
gnuplot
graphics
graphql
graphql_ppx
gsl
h2
hack_parallel
hacl-star	ocamlPackages.hacl-star-raw: fix aarch64-darwin	2022-04-20 10:31:08 +02:00
hacl_x25519
hashcons
herelib
hex
hidapi
higlo
hkdf
hmap
hpack
httpaf
hxd
imagelib
index
inifiles
inotify
integers
io-page
ipaddr
iri
irmin
irmin-watcher
iso8601
iter
janestreet	ocamlPackages.js_of_ocaml: 3.11.0 → 4.0.0	2022-05-06 10:26:40 +02:00
javalib	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
jingoo
json-data-encoding
jsonm	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
junit
jwto
kafka
ke
lablgl	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
lablgtk	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
lablgtk-extras	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
lablgtk3
labltk
lacaml
ladspa	ocamlPackages.ladspa: init at 0.2.2	2022-04-18 16:06:31 +02:00
lambda-term
lambdasoup
lastfm	ocamlPackages.lastfm: init at 0.3.3	2022-04-18 15:54:38 +02:00
lens
letsencrypt
linenoise
llvm	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
logs	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
lru
lua-ml	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
lustre-v6
lutils
luv
lwt	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
lwt-canceler
lwt-dllist
lwt-exit
lwt-watcher
lwt_log
lwt_react
lwt_ssl
macaddr
macaque
magic-mime
mariadb
markup
mccs
mdx
menhir
merlin-extend
metrics
mew
mew_vi
mimic
minisat
mirage
mirage-block
mirage-block-ramdisk
mirage-block-unix
mirage-bootvar-unix
mirage-bootvar-xen
mirage-channel
mirage-clock
mirage-console
mirage-crypto
mirage-device
mirage-flow
mirage-fs
mirage-kv
mirage-logs
mirage-nat
mirage-net
mirage-net-xen
mirage-profile
mirage-protocols
mirage-random
mirage-random-test
mirage-stack
mirage-time
mirage-unix
mirage-vnetif
mirage-xen
mlgmp
mlgmpidl
mmap
mparser
mrmime
mtime
mustache
mysql
netchannel
nocrypto	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
noise
nonstd
notty	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
npy
num
ocaml-cairo	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ocaml-freestanding
ocaml-gettext
ocaml-libvirt	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ocaml-lsp	ocamlPackages.ocaml-lsp: update	2022-04-26 22:01:24 +02:00
ocaml-migrate-parsetree
ocaml-monadic
ocaml-print-intf
ocaml-protoc
ocaml-r
ocaml-result
ocaml-sat-solvers
ocaml-syntax-shims
ocaml-version
ocamlformat-rpc-lib	ocamlPackages.ocamlformat-rpc-lib: downgrade for ocaml <= 4.12	2022-04-26 22:01:25 +02:00
ocamlfuse
ocamlgraph
ocamlmake
ocamlnat	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ocamlnet	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ocamlsdl
ocb-stubblr
ocf
ocp-ocamlres	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
ocplib-endian
ocplib-json-typed
ocplib-simplex
ocsigen-deriving	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
ocsigen-ppx-rpc	ocamlPackages.ocsigen-ppx-rpc: init at 1.0	2022-04-28 07:23:18 +02:00
ocsigen-server	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
ocsigen-start	ocamlPackages.ocsigen-start: 4.5.0 → 6.0.1	2022-04-28 07:23:18 +02:00
ocsigen-toolkit	ocamlPackages.js_of_ocaml: 3.11.0 → 4.0.0	2022-05-06 10:26:40 +02:00
ocsipersist
octavius
ocurl
odate
odoc
odoc-parser
ogg
omd	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
opam-core
opam-file-format
opam-format
opam-repository
opam-state
opium
opium_kernel
opti
optint
opus
ordering
otfm	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
otoml
otr
ounit
ounit2
owee
owl
owl-base
paf
parany
parmap
parse-argv
path_glob
pbkdf
pcap-format
pcre
pecu
pgocaml
pgsolver
phylogenetics
piaf
pipebang
piqi
piqi-ocaml	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
posix
postgresql
pp
pprint
ppx_bap	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
ppx_blob
ppx_cstubs
ppx_derivers
ppx_deriving
ppx_deriving_cmdliner
ppx_deriving_protobuf
ppx_deriving_rpc
ppx_deriving_yaml
ppx_deriving_yojson
ppx_gen_rec
ppx_import
ppx_tools
ppx_tools_versioned
ppx_yojson_conv_lib
ppxlib	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
prettym
printbox
process
prof_spacetime
progress
psmt2-frontend
psq
ptime
ptmap
ptset
pure-splitmix	ocamlPackages.pure-splitmix: init at 0.3	2022-04-20 11:37:19 +02:00
pyml
qcheck
qtest
randomconv
rdbg
re
react
reactivedata	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
reason-native
rebez	ocamlPackages.rebez: init unstable-2019-06-20	2022-04-19 10:23:56 +02:00
reperf	ocamlPackages.reperf: init 1.5.1	2022-04-22 14:46:33 +02:00
repr
resource-pooling
resto
rfc7748
ringo
rope	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
rosetta
routes
rpclib
rresult
safepass
samplerate	ocamlPackages.samplerate: init at 0.1.6	2022-04-18 15:34:27 +02:00
sawja	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
secp256k1
secp256k1-internal
sedlex	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
semaphore-compat
seq
sha
shared-memory-ring
shine
sodium	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
sosa	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
spacetime_lib
speex
spelll
sqlite3
srt
ssl
stdcompat
stdint
stdlib-shims
stdune	ocamlPackages.stdune: don't be incompatible with our version of csexp	2022-04-26 21:50:24 +02:00
stringext
syslog	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
syslog-message
tar
tcpip
tcslib
terminal
terminal_size
theora
tls
toml	ocamlPackages.toml: 6.0.0 -> 7.0.0 (#165676)	2022-04-20 21:50:03 +02:00
topkg
torch
trie
tsdl	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
tsort
tuntap
twt
tyxml
uchar
uecc
ulex	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
unionFind
unstrctrd
uri	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
uucd
uucp	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
uuidm	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
uunf	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
uuseg	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
uutf	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
uuuu	ocamlPackages.uuuu: 0.2.0 → 0.3.0	2022-05-03 07:53:51 +02:00
vchan
vector
vg	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
visitors
vlq
vorbis
wasm	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
wayland
webbrowser
webmachine
wodan
wtf8
x509
xdg	ocamlPackages.xdg: init at ${dune_3.version}	2022-04-26 22:01:24 +02:00
xenstore
xenstore-tool
xenstore_transport
xml-light
xmlm	ocamlPackages: inherit ocaml.meta.platforms	2022-05-11 09:02:37 +02:00
xmlplaylist	ocamlPackages.xmlplaylist: init at 0.1.5	2022-04-18 15:54:38 +02:00
xtmpl
yaml
yojson	ocamlPackages: add meta.mainProgram to many packages	2022-05-11 09:02:37 +02:00
yuscii
z3	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
zarith	treewide: Simplify negated uses of versionAtLeast, versionOlder	2022-04-25 13:35:24 -07:00
zed
zmq