nixpkgs-suyu/pkgs/development/ocaml-modules
Jan Tojnar 35e2079bd5 ocamlPackages.pyml: 20220615 → 20220905
https://github.com/thierry-martinez/pyml/releases/tag/20220905

Aldo switch to dune, which has been available since 2021-09-24.
And remove unneeded dependencies:
- ncurses was needed for Python in the past
- ocaml and findlib are implied by dune
2022-12-13 14:17:31 +01:00
..
afl-persistent
alcotest ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
alsa
angstrom ocamlPackages.angstrom: add update script 2022-10-23 08:02:16 -03:00
angstrom-async
angstrom-lwt-unix
angstrom-unix
ansiterminal
ao
apron
arp ocamlPackages.arp: ethernet is a buildInputs 2022-10-24 09:40:31 +02:00
asn1-combinators
astring
atd
atdgen ocamlPackages.yojson: 1.7.0 → 2.0.2 2022-08-29 08:10:02 +02:00
awa
bap ocamlPackages.lwt: 5.5.0 → 5.6.1 2022-10-23 13:54:53 +02:00
base64 ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
batteries
benchmark
bheap
bigarray-compat
bigarray-overlap ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
bigstring
bigstringaf ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
bindlib ocamlPackages.bindlib: init at 6.0.0 2022-09-11 15:54:45 +02:00
biniou
biocaml
bisect_ppx ppxlib: default to 0.28.0 for OCaml ≥ 4.11 only 2022-11-09 20:41:22 +01:00
bistro
bitstring
bitv
bjack
bls12-381 ligo: 0.53 -> 0.54 (#197508) 2022-10-27 12:09:29 +02:00
bls12-381-signature ocamlPackages.bls12-381-signature: init at 1.0.0 2022-10-24 14:50:27 +02:00
bos
brisk-reconciler maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
bwd
bz2 treewide: *Flags convert to list from str 2022-10-10 15:30:59 +03:00
ca-certs
ca-certs-nss ocamlPackages.ca-certs-nss: 3.74 -> 3.77 2022-09-23 00:46:24 +00:00
cairo2
calendar ocamlPackages.calendar: 2.5 → 3.0 2022-11-30 07:45:41 +01:00
callipyge ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
camlimages
camlp-streams
camlpdf
camlzip ocamlPackages.camlzip: 1.10 → 1.11 2022-12-07 11:19:12 +01:00
camomile
caqti ocamlPackages.caqti: 1.8.0 → 1.9.1 2022-10-09 10:19:15 +02:00
carton ocamlPackages.carton,ocamlPackages.carton-git,ocamlPackages.carton-lwt: 0.4.4 -> 0.6.0 2022-12-09 21:11:28 +01:00
cfstream
chacha
charInfo_width
checkseum ocamlPackages.checkseum: 0.3.4 → 0.4.0 2022-09-30 18:14:37 +02:00
chrome-trace
cil
class_group_vdf ocamlPackages.class_group_vdf: init at 0.0.4 (#196366) 2022-10-18 11:50:56 +02:00
cmdliner ocamlPackages.cmdliner_1_1: disable for OCaml < 4.08 2022-08-18 08:46:13 +02:00
cohttp
coin
color
conduit
config-file
containers
cooltt ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
cow ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
cpdf
cpu
cpuid
crowbar ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
cry
cryptgps
cryptokit
csexp
cstruct ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
csv
ctypes
ctypes_stubs_js ocamlPackages.ctypes_stubs_js: init at 0.1 2022-09-10 14:11:51 +02:00
cudf ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
curly
curses
dap
data-encoding ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
dbf
decompress ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
dedukti ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
diet
digestif
directories
dispatch ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
dns ocamlPackages.dns: 6.1.4 -> 6.3.0 2022-09-21 16:40:33 +02:00
dolmen
dolog
domain-name ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
dose3 ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
dssi
dtoa
dtools
duff
dum
dune-action-plugin dune_3: 3.4.1 -> 3.5.0 2022-11-11 15:55:25 +01:00
dune-build-info
dune-configurator
dune-glob
dune-private-libs
dune-rpc dune_3: 3.4.1 -> 3.5.0 2022-11-11 15:55:25 +01:00
dune-site
duppy
duration ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
dyn
dypgen
earley
earlybird ocamlPackages.earlybird: add update script 2022-10-23 08:05:58 -03:00
easy-format
eigen
either
elina
eliom
elpi ocamlPackages.yojson: 1.7.0 → 2.0.2 2022-08-29 08:10:02 +02:00
emile ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
encore
eqaf ocamlPackages.eqaf: 0.8 → 0.9 2022-11-06 16:54:38 +01:00
erm_xml
erm_xmpp
ethernet
expat
extlib ocamlPackages.ocaml_extlib: 1.7.8 -> 1.7.9 2022-11-16 14:30:37 +01:00
ezjsonm
ezxmlm
faad
facile
faraday ocamlPackages.faraday: 0.8.1 → 0.8.2 2022-10-27 15:50:41 +02:00
farfadet
fdkaac
ff ocamlPackages.ff: 0.4.0 → 0.6.2 2022-10-12 19:58:38 +02:00
ffmpeg ocamlPackages.ffmpeg: 1.1.4 -> 1.1.6 2022-10-06 09:38:19 +02:00
fiber
fileutils
fix
flac ocamlPackages.flac: 0.3.0 → 0.3.1 2022-11-20 22:09:42 +01:00
flex maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
fmt ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
fontconfig
fpath
frei0r
frontc
functoria ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
functory
gapi-ocaml
gd4o
gen ocamlPackages.gen: 0.5 → 1.0 2022-12-05 11:14:12 +01:00
gen_js_api ocamlPackages.js_of_ocaml: 4.0.0 → 4.1.0 2022-12-06 16:48:42 +01:00
genspio
getopt
gg
git ocamlPackages.carton,ocamlPackages.carton-git,ocamlPackages.carton-lwt: 0.4.4 -> 0.6.0 2022-12-09 21:11:28 +01:00
gluten
gmap ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
gmetadom
gnuplot
graphics
graphql ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
graphql_ppx ocamlPackages.graphql_ppx: use dune 3 2022-10-20 12:59:39 +02:00
gsl treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputs 2022-09-26 17:53:26 +03:00
gstreamer
h2 ocamlPackages.paf: 0.0.8 → 0.1.0 2022-09-16 20:51:17 +02:00
hack_parallel
hacl-star
happy-eyeballs ocamlPackages.happy-eyeballs: 0.1.2 -> 0.3.0 2022-09-21 22:09:52 +02:00
hashcons
hex
hidapi
higlo
hkdf
hmap
hpack ocamlPackages.paf: 0.0.8 → 0.1.0 2022-09-16 20:51:17 +02:00
httpaf ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
hxd
imagelib ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
index ocamlPackages.index: 1.6.0 → 1.6.1 2022-09-04 12:16:56 +02:00
inifiles
inotify
integers ocamlPackages.integers: 0.5.1 → 0.7.0 2022-11-29 05:26:07 +01:00
integers_stubs_js ocamlPackages.integers_stubs_js: init at 1.0 2022-09-10 14:11:51 +02:00
io-page
ipaddr
iri
irmin ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
irmin-watcher
iso8601
iter ocamlPackages.iter: 1.4 → 1.6 2022-11-19 07:16:24 +01:00
janestreet ocamlPackages.core_unix: 0.15.0 → 0.15.2 2022-12-08 07:17:44 +01:00
javalib
jingoo
json-data-encoding
jsonm
junit
jwto
kafka
ke
kicadsch ocamlPackages.kicadsch: init at 0.9 2022-08-31 14:14:51 -07:00
lablgl
lablgtk ocamlPackages.lablgtk: 2.18.12 → 2.18.13 2022-11-05 15:30:20 +01:00
lablgtk-extras
lablgtk3 ocamlPackages.lablgtk3: 3.1.2 → 3.1.3 2022-11-06 09:45:13 +01:00
labltk ocamlPackages.labltk: add version 8.06.13 for OCaml 5.0 2022-11-21 06:59:04 +01:00
lacaml
ladspa
lambda-term treewide: fix lints and remove a unneeded cmake input 2022-12-09 01:16:08 +02:00
lambdapi ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
lambdasoup
lame
lastfm
lens
letsencrypt
lilv
linenoise ocamlPackages.linenoise: 1.3.1 → 1.4.0 2022-11-21 20:46:30 +01:00
llvm ocamlPackages.llvm: fix CMake location for versions >= 13.0.0 2022-10-28 13:14:42 +02:00
lo
logs ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
lru
lua-ml
lustre-v6 ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
lutils
luv ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
lwt ocamlPackages.lwt: 5.5.0 → 5.6.1 2022-10-23 13:54:53 +02:00
lwt-canceler
lwt-dllist
lwt-exit
lwt-watcher
lwt_log ocamlPackages.lwt_log: 1.1.1 → 1.1.2 2022-08-30 17:05:00 +02:00
lwt_react
lwt_ssl ocamlPackages.lwt_ssl: minor cleaning 2022-09-14 19:04:34 +02:00
macaddr
macaque
mad
magic
magic-mime
mariadb
markup
mccs
mdx ocamlPackages.mdx: add update script 2022-10-23 08:09:30 -03:00
mec ocamlPackages.mec: Use dune 3 2022-10-21 11:29:34 +02:00
menhir
merlin-extend
metrics ocamlPackages.mtime: 1.2.0 → 1.4.0 2022-11-23 18:04:54 +01:00
mew
mew_vi
mimic ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
minisat
mirage ocamlPackages.cmdliner: default to 1.1 2022-09-18 15:03:10 +02:00
mirage-block
mirage-block-ramdisk ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
mirage-block-unix ocamlPackages.mirage-block-unix: 2.14.1 → 2.14.2 2022-10-14 22:17:56 +02:00
mirage-bootvar-unix
mirage-bootvar-xen
mirage-channel
mirage-clock
mirage-console
mirage-crypto ocamlPackages.mirage-crypto: 0.10.6 → 0.10.7 2022-09-15 16:32:38 +02:00
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 ocamlPackages.mirage-unix: 5.0.0 → 5.0.1 2022-09-15 16:32:24 +02:00
mirage-vnetif
mirage-xen
mldoc ocamlPackages.mldoc: 1.4.8 -> 1.4.9 2022-10-01 17:37:21 +02:00
mlgmp ocamlPackages.mlgmp: remove at 20120224 (broken) 2022-10-20 17:35:46 +02:00
mlgmpidl ocamlPackages.mlgmpidl: 1.2.12 → 1.2.15 2022-11-19 21:27:24 +01:00
mm
mmap
mparser
mrmime
mtime ocamlPackages.mtime: 1.2.0 → 1.4.0 2022-11-23 18:04:54 +01:00
mustache
mysql
netchannel
nonstd
notty ocamlPackages.notty: 0.2.2 → 0.2.3 2022-09-03 09:02:21 +02:00
npy
num
ocaml-cairo
ocaml-freestanding
ocaml-gettext ocamlPackages.ocaml_gettext: disable tests 2022-11-05 21:09:18 +01:00
ocaml-libvirt
ocaml-lsp ocaml-lsp: 1.14.1 -> 1.14.2 2022-11-11 15:55:25 +01:00
ocaml-migrate-parsetree
ocaml-monadic
ocaml-print-intf
ocaml-protoc
ocaml-r
ocaml-result
ocaml-sat-solvers
ocaml-syntax-shims
ocaml-vdom ocaml-vdom: init at 0.2 (#187622) 2022-08-22 15:12:31 +02:00
ocaml-version
ocamlc-loc ocaml-lsp: 1.14.1 -> 1.14.2 2022-11-11 15:55:25 +01:00
ocamlformat-rpc-lib
ocamlfuse
ocamlgraph
ocamline ocamlPackages.ocamline: init at 1.2 2022-10-27 11:10:08 +02:00
ocamlmake
ocamlnat
ocamlnet
ocamlsdl
ocb-stubblr
ocf
ocp-ocamlres
ocplib-endian
ocplib-simplex
ocsigen-ppx-rpc
ocsigen-server
ocsigen-start
ocsigen-toolkit ocamlPackages.js_of_ocaml: 4.0.0 → 4.1.0 2022-12-06 16:48:42 +01:00
ocsipersist
octavius
ocurl
odate
odoc ocamlPackages.odoc: disable tests with yojson ≥ 2.0 2022-08-29 08:10:02 +02:00
odoc-parser
ogg ocamlPackages.ogg: set minimalOCamlVersion to 4.08 2022-09-19 09:26:20 -03:00
omd
opam-core
opam-file-format
opam-format
opam-repository
opam-state
opium
opium_kernel
opti
optint
opus
ordering
otfm ocamlPackages.otfm: 0.3.0 → 0.4.0 2022-12-10 10:54:55 +01:00
otoml ocamlPackages.otoml: 1.0.1 -> 1.0.2 2022-10-01 17:28:53 +02:00
otr
ounit
ounit2 ocamlPackages.ounit2: 2.2.4 → 2.2.6 2022-11-05 21:09:18 +01:00
owee
owl
owl-base
paf Update ocaml packages.git and paf le chien (#197422) 2022-10-24 16:48:25 +02:00
parany
parmap
parse-argv
path_glob
pbkdf ocamlPackages.pbkdf: 1.1.0 -> 1.2.0 2022-08-26 14:15:57 +02:00
pcap-format
pcre ocamlPackages.ocaml_pcre: 7.4.6 -> 7.5.0 2022-10-06 09:38:19 +02:00
pecu
pgocaml
pgsolver
phylogenetics ocamlPackages.phylogenetics: run full test suite 2022-11-22 10:02:45 +01:00
piaf ocamlPackages.piaf: disable (failing) tests 2022-09-14 19:04:34 +02:00
piqi ocamlPackages.piqi: support for sedlex ≥ 3.0 2022-12-11 11:30:09 +01:00
piqi-ocaml ocamlpackages.piqi-ocaml: 0.7.7 -> 0.7.8 2022-10-23 18:02:20 -03:00
plotkicadsch ocamlPackages.plotkicadsch: init at 0.9 2022-08-31 14:14:51 -07:00
portaudio
posix
postgresql
pp ocamlPackages.{pp,ocaml-lsp}: remove myself as maintainer 2022-10-21 12:00:00 +00:00
pprint
ppx_bap
ppx_blob ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
ppx_cstubs
ppx_derivers
ppx_deriving
ppx_deriving_cmdliner Merge pull request #195515 from romildo/upd.ppxlib 2022-11-11 08:33:35 -03:00
ppx_deriving_protobuf
ppx_deriving_rpc
ppx_deriving_yaml
ppx_deriving_yojson ppxlib: default to 0.28.0 for OCaml ≥ 4.11 only 2022-11-09 20:41:22 +01:00
ppx_gen_rec
ppx_import ocamlPackages.ppx_import: add version 1.10.0 2022-10-23 18:02:20 -03:00
ppx_tools ocamlPackages.ppx_tools: 6.5 → 6.6 2022-10-08 07:59:55 +02:00
ppx_tools_versioned
ppx_yojson_conv ocamlPackages.ppx_yojson_conv: init at 0.15.1 2022-11-05 00:07:33 +01:00
ppx_yojson_conv_lib
ppxlib ppxlib: default to 0.28.0 for OCaml ≥ 4.11 only 2022-11-09 20:41:22 +01:00
pratter ocamlPackages.pratter: init at 2.0.0 2022-09-11 15:54:45 +02:00
prettym
printbox ocamlPackages.printbox: add update script 2022-10-23 09:01:16 -03:00
process
progress
promise_jsoo promise_jsoo: init at 0.3.1 (#172194) 2022-08-22 16:43:07 +02:00
psmt2-frontend
psq
ptime ocamlPackages.ptime: 0.8.6 → 1.0.0 2022-11-24 18:17:41 +01:00
ptmap
ptset
pulseaudio
pure-splitmix
pyml ocamlPackages.pyml: 20220615 → 20220905 2022-12-13 14:17:31 +01:00
qcheck ocamlPackages.qcheck: 0.19.1 → 0.20 2022-11-16 05:17:46 +01:00
qtest
randomconv
rdbg
re ocamlPackages.re: 1.9.0 -> 1.10.4 2022-10-17 22:19:00 +02:00
react ocamlPackages.react: 1.2.1 → 1.2.2 2022-10-22 16:40:21 +02:00
reactivedata ocamlPackages.reactivedata: 0.2.2 → 0.3 2022-11-23 10:23:43 +01:00
reason-native
rebez maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
reperf maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
repr ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
resource-pooling ocamlPackages.resource-pooling: 1.1 → 1.2 2022-08-31 07:54:23 +02:00
resto ligo: 0.53 -> 0.54 (#197508) 2022-10-27 12:09:29 +02:00
rfc7748
ringo ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
rope
rosetta
routes
rpclib ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
rresult
safepass
samplerate
sawja
secp256k1
secp256k1-internal
sedlex ocamlPackages.sedlex: 2.6 → 3.0 2022-12-11 11:30:09 +01:00
semaphore-compat
semver ocamlPackages.semver: init at 0.1.0 2022-10-18 16:42:28 +02:00
seq
sha
shared-memory-ring
shine
sodium
sosa
soundtouch
spacetime_lib
speex
spelll
sqlite3
srt
ssl ocamlPackages.ssl: 0.5.11 -> 0.5.12 2022-09-01 22:38:20 +00:00
stdcompat ocamlPackages.stdcompat: 18 → 19 2022-12-13 14:17:31 +01:00
stdint ocamlPackages.stdint: 0.7.0 → 0.7.2 2022-11-05 21:28:46 +01:00
stdlib-shims
stdune
stringext
syslog
syslog-message
taglib ocamlPackages.taglib: 0.3.9 -> 0.3.10 2022-10-06 09:38:19 +02:00
tar
tcpip ocamlPackages.tcpip: 7.1.0 -> 7.1.2 2022-09-01 22:29:36 +00:00
tcslib ocamlPackages.extlib: rename from ocaml_extlib 2022-11-16 14:30:37 +01:00
telegraml maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
terminal ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
terminal_size ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
tezos-base58 tezos-base58: init at 1.0.0 2022-09-10 14:11:51 +02:00
tezos-bls12-381-polynomial ocamlPackages.tezos-bls12-381-polynomial: 0.1.2 -> 0.1.3 2022-10-24 16:15:11 +02:00
theora
timed ocamlPackages.timed: init at 1.1 2022-09-11 15:54:45 +02:00
tiny_httpd
tls
toml
topkg
torch ocamlPackages.torch: 0.14 → 0.15 2022-10-21 07:53:12 +02:00
trie
tsdl
tsdl-image maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
tsdl-mixer maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
tsdl-ttf maintainers: remove superherointj 2022-10-04 14:06:48 -03:00
tsort
tuntap
twt
tyxml
uchar
uecc ocamlPackages.uecc: 0.3 → 0.4 2022-12-12 07:43:26 +01:00
ulex
unionFind
unix-errno
unstrctrd
uri
uucd ocamlPackages.{uucd,uucp}: 14.0.0 → 15.0.0 2022-09-18 10:39:31 +02:00
uucp ocamlPackages.{uucd,uucp}: 14.0.0 → 15.0.0 2022-09-18 10:39:31 +02:00
uuidm ocamlPackages.uuidm: disable for OCaml < 4.08 2022-10-13 07:55:32 +02:00
uunf ocamlPackages.uunf: 14.0.0 → 15.0.0 2022-09-27 06:52:26 +02:00
uuseg ocamlPackages.uuseg: 14.0.0 → 15.0.0 2022-09-19 18:46:57 +02:00
uutf
uuuu
vchan
vector
vg
visitors
vlq
vorbis
wasm
wayland ocamlPackages.wayland: 1.0 -> 1.1 2022-09-29 17:20:38 +00:00
webbrowser
webmachine
wodan ocamlPackages.git: 3.5.0 -> 3.9.1 (#188389) 2022-10-11 08:50:54 +02:00
wtf8
x509 ocamlPackages.x509: 0.16.0 → 0.16.2 2022-10-10 09:07:01 +02:00
xdg
xenstore
xenstore-tool
xenstore_transport
xml-light ocamlPackages.xml-light: add update script 2022-10-23 09:02:12 -03:00
xmlm
xmlplaylist
xtmpl
yaml
yojson ocamlPackages.yojson: 1.7.0 → 2.0.2 2022-08-29 08:10:02 +02:00
yuscii ocamlPackages.fmt: 0.8.9 → 0.9.0 2022-08-31 07:36:39 +02:00
yuujinchou
z3
zarith
zed ocamlPackages.zed: 3.1.0 -> 3.2.0, ocamlPackages.lambdaterm: 3.2.0 -> 3.3.1 (#196362) 2022-10-20 17:35:19 +02:00
zmq ocamlPackages.zmq: 20180726 → 5.1.5 2022-10-28 07:55:49 +02:00