| .. |
|
afl-persistent
|
|
|
|
alcotest
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
alsa
|
|
|
|
angstrom
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
angstrom-async
|
|
|
|
angstrom-lwt-unix
|
|
|
|
angstrom-unix
|
|
|
|
ansiterminal
|
ocamlPackages.ansiterminal: 0.8.2 → 0.8.5
|
2022-12-18 10:02:49 +01:00 |
|
ao
|
|
|
|
apron
|
ocamlPackages.apron: fixup build by using older make
|
2022-12-17 08:35:35 +01:00 |
|
arp
|
ocamlPackages.arp: use Dune 3
|
2023-01-22 13:16:36 +01:00 |
|
asn1-combinators
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
astring
|
|
|
|
atd
|
|
|
|
atdgen
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
awa
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bap
|
|
|
|
base64
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
batteries
|
ocamlPackages.batteries: set strictDeps
|
2023-01-21 16:42:10 +01:00 |
|
benchmark
|
|
|
|
bheap
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bigarray-compat
|
|
|
|
bigarray-overlap
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bigstring
|
|
|
|
bigstringaf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bindlib
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
biniou
|
ocamlPackages.biniou: 1.2.1 → 1.2.2 (#208852)
|
2023-01-10 00:37:56 +01:00 |
|
biocaml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bisect_ppx
|
ppxlib: default to 0.28.0 for OCaml ≥ 4.11 only
|
2022-11-09 20:41:22 +01:00 |
|
bistro
|
|
|
|
bitstring
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bitv
|
|
|
|
bjack
|
ocamlPackages.bjack: minor cleaning
|
2023-01-21 07:28:51 +01:00 |
|
bls12-381
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bls12-381-signature
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bos
|
|
|
|
brisk-reconciler
|
|
|
|
brr
|
ocamlPackages.brr: init at 0.0.4
|
2023-01-07 13:51:10 +01:00 |
|
bwd
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
bz2
|
|
|
|
ca-certs
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ca-certs-nss
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cairo2
|
|
|
|
calendar
|
ocamlPackages.calendar: 2.5 → 3.0
|
2022-11-30 07:45:41 +01:00 |
|
callipyge
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
camlimages
|
|
|
|
camlp-streams
|
|
|
|
camlpdf
|
|
|
|
camlzip
|
ocamlPackages.camlzip: 1.10 → 1.11
|
2022-12-07 11:19:12 +01:00 |
|
camomile
|
|
|
|
caqti
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
carton
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cfstream
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
chacha
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
charInfo_width
|
|
|
|
checkseum
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
chrome-trace
|
|
|
|
cil
|
|
|
|
class_group_vdf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cmdliner
|
|
|
|
cohttp
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
coin
|
|
|
|
color
|
|
|
|
conduit
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
config-file
|
|
|
|
containers
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cooltt
|
|
|
|
cow
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cpdf
|
|
|
|
cpu
|
|
|
|
cpuid
|
|
|
|
crowbar
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cry
|
|
|
|
cryptgps
|
|
|
|
cryptokit
|
ocamlPackages.cryptokit: 1.17 → 1.18
|
2023-01-12 09:08:03 +01:00 |
|
csexp
|
|
|
|
cstruct
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
csv
|
|
|
|
ctypes
|
|
|
|
ctypes_stubs_js
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
cudf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
curly
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
curses
|
|
|
|
dap
|
ocamlPackages.dap: use dune 3
|
2022-12-25 00:17:29 +01:00 |
|
data-encoding
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dbf
|
|
|
|
decompress
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dedukti
|
|
|
|
diet
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
digestif
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
directories
|
|
|
|
dispatch
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dns
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dolmen
|
|
|
|
dolog
|
|
|
|
domain-name
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
domainslib
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dose3
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dscheck
|
ocamlPackages.dscheck: init at 0.1.0
|
2023-01-02 08:48:28 +01:00 |
|
dssi
|
|
|
|
dtoa
|
|
|
|
dtools
|
|
|
|
duff
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
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
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
dyn
|
|
|
|
dypgen
|
|
|
|
earley
|
|
|
|
earlybird
|
ocamlPackages.earlybird: use dune 3
|
2022-12-25 00:17:29 +01:00 |
|
easy-format
|
|
|
|
eigen
|
|
|
|
either
|
|
|
|
elina
|
|
|
|
eliom
|
|
|
|
elpi
|
|
|
|
emile
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
encore
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
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
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
farfadet
|
|
|
|
fdkaac
|
ocamlPackages.fdkaac: 0.3.2 → 0.3.3
|
2023-01-21 07:29:10 +01:00 |
|
ff
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ffmpeg
|
ocamlPackages.ffmpeg-swresample: fix build on darwin
|
2023-01-05 04:44:30 +01:00 |
|
fiber
|
|
|
|
fileutils
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
fix
|
|
|
|
flac
|
ocamlPackages.flac: 0.3.0 → 0.3.1
|
2022-11-20 22:09:42 +01:00 |
|
flex
|
|
|
|
fmt
|
|
|
|
fontconfig
|
|
|
|
fpath
|
|
|
|
frei0r
|
|
|
|
frontc
|
|
|
|
functoria
|
|
|
|
functory
|
|
|
|
gapi-ocaml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
gd4o
|
|
|
|
gen
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
gen_js_api
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
genspio
|
|
|
|
getopt
|
|
|
|
gg
|
|
|
|
git
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
gluten
|
|
|
|
gmap
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
gmetadom
|
treewide: replace http by https when https is a permanent redirection
|
2023-01-22 02:46:49 +01:00 |
|
gnuplot
|
|
|
|
graphics
|
|
|
|
graphql
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
graphql_ppx
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
gsl
|
|
|
|
gstreamer
|
ocamlPackages.gstreamer: fix build on darwin
|
2023-01-05 04:44:26 +01:00 |
|
h2
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
hack_parallel
|
|
|
|
hacl-star
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
happy-eyeballs
|
ocamlPackages.dns: 6.3.0 → 6.4.1
|
2023-01-12 17:56:25 +01:00 |
|
hashcons
|
|
|
|
hex
|
|
|
|
hidapi
|
|
|
|
higlo
|
|
|
|
hkdf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
hmap
|
|
|
|
hpack
|
|
|
|
httpaf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
hxd
|
|
|
|
imagelib
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
index
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
inifiles
|
|
|
|
inotify
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
integers
|
ocamlPackages.integers: 0.5.1 → 0.7.0
|
2022-11-29 05:26:07 +01:00 |
|
integers_stubs_js
|
|
|
|
io-page
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ipaddr
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
iri
|
|
|
|
irmin
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
irmin-watcher
|
|
|
|
iso8601
|
|
|
|
iter
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
janestreet
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
javalib
|
|
|
|
jingoo
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
json-data-encoding
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
jsonm
|
|
|
|
junit
|
|
|
|
jwto
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
kafka
|
|
|
|
ke
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
kicadsch
|
|
|
|
lablgl
|
|
|
|
lablgtk
|
ocamlPackages.lablgtk: fixup build by using older make
|
2022-12-16 12:19:01 +01:00 |
|
lablgtk-extras
|
|
|
|
lablgtk3
|
ocamlPackages.lablgtk3: 3.1.2 → 3.1.3
|
2022-11-06 09:45:13 +01:00 |
|
labltk
|
ocamlPackages.labltk: fix build on darwin
|
2023-01-05 04:44:25 +01:00 |
|
lacaml
|
|
|
|
ladspa
|
|
|
|
lambda-term
|
treewide: fix lints and remove a unneeded cmake input
|
2022-12-09 01:16:08 +02:00 |
|
lambdapi
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lambdasoup
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lame
|
|
|
|
lastfm
|
|
|
|
lens
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
letsencrypt
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lilv
|
|
|
|
linenoise
|
ocamlPackages.linenoise: 1.3.1 → 1.4.0
|
2022-11-21 20:46:30 +01:00 |
|
llvm
|
|
|
|
lo
|
|
|
|
lockfree
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
logs
|
|
|
|
lru
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lua-ml
|
|
|
|
lustre-v6
|
ocamlPackages.lustre-v6: 6.103.3 -> 6.107.1
|
2022-12-15 08:05:28 +01:00 |
|
lutils
|
|
|
|
luv
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lwt
|
ocamlPackages.lwt_ppx: 2.0.2 → 2.1.0
|
2022-12-25 00:17:29 +01:00 |
|
lwt-canceler
|
|
|
|
lwt-dllist
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
lwt-exit
|
|
|
|
lwt-watcher
|
|
|
|
lwt_log
|
|
|
|
lwt_react
|
|
|
|
lwt_ssl
|
|
|
|
macaddr
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
macaque
|
|
|
|
mad
|
|
|
|
magic
|
|
|
|
magic-mime
|
|
|
|
mariadb
|
|
|
|
markup
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mccs
|
|
|
|
mdx
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mec
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
menhir
|
|
|
|
merlin-extend
|
|
|
|
metrics
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mew
|
|
|
|
mew_vi
|
|
|
|
mimic
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
minisat
|
|
|
|
mirage
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-block
|
|
|
|
mirage-block-ramdisk
|
|
|
|
mirage-block-unix
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-bootvar-unix
|
|
|
|
mirage-bootvar-xen
|
|
|
|
mirage-channel
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-clock
|
|
|
|
mirage-console
|
|
|
|
mirage-crypto
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-device
|
|
|
|
mirage-flow
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-fs
|
|
|
|
mirage-kv
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-logs
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mirage-nat
|
ocamlPackages.mirage-nat: 2.2.5 → 3.0.1
|
2023-01-22 13:16:36 +01:00 |
|
mirage-net
|
|
|
|
mirage-net-xen
|
|
|
|
mirage-profile
|
|
|
|
mirage-protocols
|
|
|
|
mirage-random
|
|
|
|
mirage-random-test
|
|
|
|
mirage-stack
|
|
|
|
mirage-time
|
|
|
|
mirage-unix
|
|
|
|
mirage-vnetif
|
|
|
|
mirage-xen
|
|
|
|
mldoc
|
ocamlPackages.mldoc: 1.4.9 -> 1.5.2
|
2023-01-12 04:20:00 +00:00 |
|
mlgmp
|
|
|
|
mlgmpidl
|
ocamlPackages.mlgmpidl: 1.2.12 → 1.2.15
|
2022-11-19 21:27:24 +01:00 |
|
mm
|
|
|
|
mmap
|
|
|
|
mparser
|
|
|
|
mrmime
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mtime
|
ocamlPackages.mtime: 1.2.0 → 1.4.0
|
2022-11-23 18:04:54 +01:00 |
|
multipart-form-data
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mustache
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
mysql
|
|
|
|
netchannel
|
|
|
|
nonstd
|
|
|
|
note
|
treewide: replace http by https when https is a permanent redirection
|
2023-01-22 02:46:49 +01:00 |
|
notty
|
|
|
|
npy
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
num
|
|
|
|
ocaml-cairo
|
|
|
|
ocaml-freestanding
|
|
|
|
ocaml-gettext
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ocaml-libvirt
|
ocamlPackages.ocaml_libvirt: fix build on darwin
|
2023-01-05 04:44:06 +01:00 |
|
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
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ocaml-result
|
|
|
|
ocaml-sat-solvers
|
|
|
|
ocaml-syntax-shims
|
|
|
|
ocaml-vdom
|
|
|
|
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
|
|
|
|
ocamlmake
|
|
|
|
ocamlnat
|
|
|
|
ocamlnet
|
ocamlPackages.ocamlnet: disable for OCaml ≥ 5.0
|
2023-01-05 06:31:54 +01:00 |
|
ocamlsdl
|
|
|
|
ocb-stubblr
|
|
|
|
ocf
|
|
|
|
ocp-ocamlres
|
|
|
|
ocplib-endian
|
|
|
|
ocplib-simplex
|
|
|
|
ocsigen-ppx-rpc
|
|
|
|
ocsigen-server
|
ocamlPackages.ocsigen_server: use dune 3
|
2023-01-12 09:08:03 +01:00 |
|
ocsigen-start
|
|
|
|
ocsigen-toolkit
|
ocamlPackages.js_of_ocaml: 4.0.0 → 4.1.0
|
2022-12-06 16:48:42 +01:00 |
|
ocsipersist
|
ocamlPackages.ocsipersist: use dune 3
|
2022-12-25 00:17:29 +01:00 |
|
octavius
|
|
|
|
ocurl
|
|
|
|
odate
|
|
|
|
odoc
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
odoc-parser
|
|
|
|
ogg
|
|
|
|
omd
|
|
|
|
opam-core
|
|
|
|
opam-file-format
|
|
|
|
opam-format
|
|
|
|
opam-repository
|
|
|
|
opam-state
|
|
|
|
opium
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
opti
|
|
|
|
optint
|
|
|
|
opus
|
ocamlPackages.opus: use Dune 3
|
2023-01-21 07:28:57 +01:00 |
|
ordering
|
|
|
|
oseq
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
otfm
|
ocamlPackages.otfm: 0.3.0 → 0.4.0
|
2022-12-10 10:54:55 +01:00 |
|
otoml
|
|
|
|
otr
|
|
|
|
ounit
|
|
|
|
ounit2
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
owee
|
|
|
|
owl
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
owl-base
|
|
|
|
paf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
parany
|
ocamlPackages.parany: 12.1.2 → {12.2.2, 13.0.1}
|
2023-01-02 08:48:28 +01:00 |
|
parmap
|
|
|
|
parse-argv
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
path_glob
|
|
|
|
pbkdf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
pcap-format
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
pcre
|
|
|
|
pecu
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
pgocaml
|
|
|
|
pgsolver
|
|
|
|
phylogenetics
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
piaf
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
piqi
|
ocamlPackages.piqi: support for sedlex ≥ 3.0
|
2022-12-11 11:30:09 +01:00 |
|
piqi-ocaml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
plotkicadsch
|
ocamlPackages.sha: 1.15.1 → 1.15.2
|
2022-12-15 08:08:35 +01:00 |
|
portaudio
|
|
|
|
posix
|
|
|
|
postgresql
|
|
|
|
pp
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
pprint
|
|
|
|
ppx_bap
|
|
|
|
ppx_blob
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_cstubs
|
|
|
|
ppx_derivers
|
|
|
|
ppx_deriving
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_deriving_cmdliner
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_deriving_protobuf
|
|
|
|
ppx_deriving_rpc
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_deriving_yaml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_deriving_yojson
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_gen_rec
|
|
|
|
ppx_import
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ppx_tools
|
ocamlPackages.ppx_tools: enable for OCaml 5 & use dune 3
|
2022-12-31 09:44:15 +01:00 |
|
ppx_tools_versioned
|
|
|
|
ppx_yojson_conv
|
|
|
|
ppx_yojson_conv_lib
|
|
|
|
ppxlib
|
ocamlPackages.ppxlib: use release tarballs instead of git repositories
|
2023-01-06 07:21:21 +01:00 |
|
pratter
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
prettym
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
printbox
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
process
|
|
|
|
progress
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
promise_jsoo
|
|
|
|
psmt2-frontend
|
|
|
|
psq
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ptime
|
ocamlPackages.ptime: 0.8.6 → 1.0.0
|
2022-11-24 18:17:41 +01:00 |
|
ptmap
|
|
|
|
ptset
|
|
|
|
pulseaudio
|
|
|
|
pure-splitmix
|
|
|
|
pyml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
qcheck
|
ocamlPackages.qcheck: 0.19.1 → 0.20
|
2022-11-16 05:17:46 +01:00 |
|
qtest
|
|
|
|
randomconv
|
|
|
|
rdbg
|
|
|
|
re
|
|
|
|
react
|
|
|
|
reactivedata
|
ocamlPackages.reactivedata: 0.2.2 → 0.3
|
2022-11-23 10:23:43 +01:00 |
|
reason-native
|
|
|
|
rebez
|
|
|
|
reperf
|
|
|
|
repr
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
resource-pooling
|
|
|
|
resto
|
ocamlPackages.resto: use dune 3
|
2023-01-12 17:56:25 +01:00 |
|
rfc7748
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ringo
|
|
|
|
rock
|
ocamlPackages.rock: init at 0.20.0
|
2022-12-27 08:27:24 +01:00 |
|
rope
|
|
|
|
rosetta
|
|
|
|
routes
|
|
|
|
rpclib
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
rresult
|
|
|
|
safepass
|
|
|
|
samplerate
|
|
|
|
sawja
|
|
|
|
secp256k1
|
|
|
|
secp256k1-internal
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
sedlex
|
ocamlPackages.sedlex: 2.6 → 3.0
|
2022-12-11 11:30:09 +01:00 |
|
semaphore-compat
|
|
|
|
semver
|
|
|
|
seq
|
|
|
|
sha
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
shared-memory-ring
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
shine
|
|
|
|
sodium
|
|
|
|
sosa
|
|
|
|
soundtouch
|
|
|
|
spacetime_lib
|
|
|
|
speex
|
|
|
|
spelll
|
|
|
|
sqlite3
|
|
|
|
srt
|
|
|
|
ssl
|
Merge pull request #208459 from r-ryantm/auto-update/ocaml4.14.0-ssl
|
2023-01-22 02:25:54 +01:00 |
|
stdcompat
|
ocamlPackages.stdcompat: 18 → 19
|
2022-12-13 14:17:31 +01:00 |
|
stdint
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
stdlib-shims
|
|
|
|
stdune
|
|
|
|
stringext
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
syslog
|
|
|
|
syslog-message
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
taglib
|
|
|
|
tar
|
ocamlPackages.tar: 2.0.1 → 2.2.2 (#209021)
|
2023-01-11 07:50:23 +01:00 |
|
tcpip
|
ocamlPackages.tcpip: use Dune 3
|
2023-01-22 13:16:36 +01:00 |
|
tcslib
|
ocamlPackages.extlib: rename from ocaml_extlib
|
2022-11-16 14:30:37 +01:00 |
|
telegraml
|
ocamlPackages.telegraml: use dune 3
|
2023-01-12 17:56:25 +01:00 |
|
terminal
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
terminal_size
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
tezos-base58
|
|
|
|
tezos-bls12-381-polynomial
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
theora
|
ocamlPackages.theora: use Dune 3
|
2023-01-21 07:29:01 +01:00 |
|
timed
|
|
|
|
tiny_httpd
|
|
|
|
tls
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
toml
|
ocamlPackages.toml: 7.0.0 → 7.1.0
|
2023-01-09 08:42:28 +01:00 |
|
topkg
|
|
|
|
torch
|
|
|
|
trie
|
|
|
|
tsdl
|
ocamlPackages.tsdl: 0.9.8 -> 0.9.9
|
2022-12-28 14:48:32 +00:00 |
|
tsdl-image
|
|
|
|
tsdl-mixer
|
|
|
|
tsdl-ttf
|
|
|
|
tsort
|
|
|
|
tuntap
|
|
|
|
twt
|
|
|
|
tyxml
|
|
|
|
uchar
|
|
|
|
uecc
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
ulex
|
|
|
|
unionFind
|
|
|
|
unix-errno
|
|
|
|
unstrctrd
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
uri
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
uucd
|
|
|
|
uucp
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
uuidm
|
|
|
|
uunf
|
|
|
|
uuseg
|
|
|
|
uutf
|
|
|
|
uuuu
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
vchan
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
vector
|
|
|
|
vg
|
|
|
|
visitors
|
|
|
|
vlq
|
|
|
|
vorbis
|
ocamlPackages.vorbis: use Dune 3
|
2023-01-21 07:29:05 +01:00 |
|
wasm
|
|
|
|
wayland
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
webbrowser
|
|
|
|
webmachine
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
wtf8
|
|
|
|
x509
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
xdg
|
|
|
|
xenstore
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
xenstore-tool
|
ocamlPackages.xenstore_transport: minor cleaning
|
2022-12-19 10:16:33 +01:00 |
|
xenstore_transport
|
ocamlPackages.xenstore_transport: minor cleaning
|
2022-12-19 10:16:33 +01:00 |
|
xml-light
|
ocamlPackages.xml-light: disable for OCaml ≥ 5.0
|
2023-01-05 06:31:54 +01:00 |
|
xmlm
|
|
|
|
xmlplaylist
|
|
|
|
xtmpl
|
|
|
|
yaml
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
yojson
|
|
|
|
yuscii
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
yuujinchou
|
treewide: switch to nativeCheckInputs
|
2023-01-21 12:00:00 +00:00 |
|
z3
|
|
|
|
zarith
|
|
|
|
zed
|
|
|
|
zmq
|
|
|
