JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3fc4607b5e
nixpkgs/pkgs/development/ocaml-modules
History
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 ocamlPackages: fix some packages for cross-compilation 2021-11-07 22:10:02 -08:00
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 ocamlPackages.ansiterminal: 0.7 -> 0.8.2 2021-06-04 21:41:55 +02:00
apron ocamlPackages.apron: set strictDeps = false to fix install failure 2022-03-03 15:26:02 +01:00
arp ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
asn1-combinators ocamlPackages.asn1-combinators: disable with OCaml < 4.08 2022-04-06 07:20:05 +02:00
astring ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.{x509,tls}*: 0.14.1 -> 0.15.2 and related updates (#150712) 2021-12-30 11:05:06 +01:00
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 ocamlPackages.bigarray-compat: 1.0.0 -> 1.1.0 2022-03-21 09:09:42 +00:00
bigarray-overlap ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
bigstring ocamlPackages.bigstring: 0.2 → 0.3 2021-04-01 08:33:08 +02:00
bigstringaf ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
biniou ocamlPackages: add meta.mainProgram to many packages 2022-05-11 09:02:37 +02:00
biocaml
bisect_ppx ocamlPackages.bisect_ppx: 2.6.1 -> 2.8.1 2022-03-24 14:20:50 +01:00
bistro ocamlPackages.bistro: unstable-2021-07-13 -> unstable-2021-11-13 2021-11-15 11:21:40 +01:00
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 ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
bos ocamlPackages.bos: 0.2.0 -> 0.2.1 2022-03-21 08:13:25 +00:00
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 ocamlPackages.ca-certs: 0.2.1 -> 0.2.2 2022-03-21 18:20:12 +01:00
ca-certs-nss ocamlPackages.ca-certs-nss: 3.71.0.1 -> 3.74 2022-01-07 18:40:52 +01:00
cairo2 ocamlPackages.cairo2: fix build on aarch64-darwin 2022-02-06 21:35:35 +01:00
calendar ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
callipyge ocamlPackages.callipyge: init at 0.2 2021-08-27 12:00:16 +02:00
camlimages ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
cfstream ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
chacha ocamlPackages.chacha: init at 1.0.0 2021-08-27 12:00:16 +02:00
charInfo_width
checkseum ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
cil ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
cmdliner ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
cohttp ocamlPackages: cohttp: 2.5.0 -> 4.0.0; conduit: 2.2.2 -> 4.0.0 (#118144) 2021-05-11 06:54:15 +02:00
coin ocamlPackages.coin: 0.1.3 → 0.1.4 2022-04-18 15:00:12 +02:00
color ocamlPackages.color: init at 0.2.0 2021-10-16 19:12:56 +02:00
conduit ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
config-file ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
containers ocamlPackages.containers: 3.4 → 3.6.1 2021-12-21 21:38:06 +01:00
cooltt ocamlPackages.cooltt: init at unstable-2021-05-25 2021-06-06 06:30:03 +02:00
cow
cpdf ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
cpu ocamlPackages.cpu: use Dune 2 2021-04-01 08:49:17 +02:00
cpuid ocamlPackages.cpuid: use Dune 2 2021-03-28 22:29:40 +02:00
crowbar ocamlPackages.pprint: 20171003 → 20220103 2022-02-15 07:25:24 +01:00
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 ocamlPackages.csexp: 1.4.0 -> 1.5.1 2021-06-07 13:31:06 +02:00
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 maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
curly ocamlPackages: cohttp: 2.5.0 -> 4.0.0; conduit: 2.2.2 -> 4.0.0 (#118144) 2021-05-11 06:54:15 +02:00
curses ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
dap ocamlPackages.dap: init at 1.0.6 2021-04-19 22:12:38 +02:00
data-encoding ocamlPackages.tezos-*: 8.3 -> 10.2 2021-10-13 10:04:20 +02:00
dbf ocamlPackages.dbf: init at 1.1.0 2022-01-05 15:41:03 +01:00
decompress ocamlPackages.decompress: 1.4.1 -> 1.4.2 2021-08-03 19:57:29 +02:00
diet
digestif ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
directories ocamlPackages.directories: 0.2 -> 0.5 2022-03-24 14:45:55 +01:00
dispatch
dns ocamlPackages: cohttp: 2.5.0 -> 4.0.0; conduit: 2.2.2 -> 4.0.0 (#118144) 2021-05-11 06:54:15 +02:00
dolmen ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
dolog ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
domain-name
dose3 ocamlPackages.dose3: 6.1 -> 7.0.0 2021-12-09 05:10:50 +00:00
dssi ocamlPackages.dssi: init at 0.1.5 2022-04-18 16:06:31 +02:00
dtoa ocamlPackages.dtoa: disable hardening feature based on more accurate condition 2021-04-26 15:03:59 +02:00
duff ocamlPackages.git: 3.3.0 -> 3.3.2; decompress: 1.2.0 -> 1.3.0; duff: 0.3 -> 0.4; and related updates (#116486) 2021-03-16 13:07:17 +01:00
dum ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.duration: 0.1.3 -> 0.2.0 2022-03-21 08:02:32 +00:00
dyn ocamlPackages.dyn: init at 3.0.3 2022-03-28 07:08:14 +02:00
dypgen ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
earley
earlybird ocamlPackages.menhir: 20190626 → 20210419 2021-06-05 13:38:01 +02:00
easy-format ocamlPackages.easy-format: 1.2.0 → 1.3.2 2022-05-10 13:24:09 +02:00
eigen llvmPackages: Multuple outputs for everythting 2021-04-30 05:41:00 +00:00
either
elina ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
eliom ocamlPackages.eliom: 8.9.0 → 9.4.0 2022-04-05 13:33:20 +02:00
elpi coqPackages: etc 2022-05-12 06:11:43 +02:00
emile
encore ocamlPackages.encore: 0.7 -> 0.8 2021-03-18 05:43:38 +01:00
eqaf ocamlPackages.eqaf: 0.7 -> 0.8 2022-03-21 03:26:41 +00:00
erm_xml treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
erm_xmpp ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ethernet ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
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 ocamlPackages.ezxmlm: 1.0.2 → 1.1.0 2021-04-17 13:17:07 +02:00
facile ocamlPackages.nonstd,facile: run dune upgrade for newer ocaml versions 2022-03-25 13:55:18 +01:00
faraday faraday-{lwt,lwt-unix,async}: add Faraday runtimes 2021-03-22 18:54:04 +01:00
farfadet treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
fdkaac ocamlPackages.fdkaac: Add dandellion as maintainer 2022-03-09 14:19:53 +01:00
ff ocamlPackages.tezos-*: 8.3 -> 10.2 2021-10-13 10:04:20 +02:00
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 ocamlPackages.fileutils: 0.5.3 -> 0.6.3 2021-06-13 15:24:10 +02:00
fix ocamlPackages.fix: 20201120 -> 20211231 2022-01-14 17:25:56 +01:00
flac ocamlPackages.flac: init at 0.3.0 2022-03-09 15:43:12 +01:00
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 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.gapi_ocaml: 0.4.1 -> 0.4.2 2022-03-21 09:44:44 +01:00
gen ocamlPackages.gen: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
gen_js_api ocamlPackages.gen_js_api: init at 1.0.9 2022-04-18 15:28:49 +02:00
genspio buildDunePackage: use dune_2 by default 2022-03-13 21:19:09 +01:00
getopt ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
gg ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
git ocamlPackages: update a bunch of libraries from the mirage universe (#132550) 2021-09-29 14:28:09 +02:00
gluten maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
gmap
gmetadom ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
gnuplot ocamlPackages.gnuplot: use Dune 2 2021-04-05 15:14:40 +02:00
graphics ocamlPackages.graphics: 5.1.1 -> 5.1.2 2021-12-08 21:54:49 +00:00
graphql
graphql_ppx ocamlPackages.graphql_ppx: 1.0.1 → 1.2.0 2021-07-24 16:32:54 +02:00
gsl ocamlPackages.gsl: use Dune 2 2021-04-02 14:12:12 +02:00
h2 ocamlPackages.h2: init at 0.8.0 2021-04-26 08:31:53 +02:00
hack_parallel ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
hacl_x25519
hacl-star ocamlPackages.hacl-star-raw: fix aarch64-darwin 2022-04-20 10:31:08 +02:00
hashcons ocamlPackages.hashcons: init at 1.4 2021-10-13 10:04:20 +02:00
herelib ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
hex
hidapi ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
higlo stog: 0.18.0 → 0.20.0 2021-12-30 08:23:22 +01:00
hkdf
hmap ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
hpack ocamlPackages.hpack: init at 0.8.0 2021-04-26 08:31:53 +02:00
httpaf ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
hxd ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
imagelib ocamlPackages.imagelib: 20210402 -> 20210511 2021-07-26 09:52:18 +02:00
index ocamlPackages.index: 1.5.0 → 1.6.0 2022-03-10 07:26:34 +01:00
inifiles ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
inotify ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
integers ocamlPackages.integers: 0.4.0 -> 0.5.1 2021-08-26 09:42:41 +02:00
io-page
ipaddr ocamlPackages.{macaddr,ipaddr}: minor cleaning 2022-03-29 08:02:14 +02:00
iri stog: 0.18.0 → 0.20.0 2021-12-30 08:23:22 +01:00
irmin ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
irmin-watcher
iso8601 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
iter ocamlPackages.iter: 1.3 -> 1.4 2022-03-24 15:02:28 +01:00
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 ocamlPackages.jingoo: 1.4.2 -> 1.4.4 2022-03-24 15:06:53 +01:00
json-data-encoding ocamlPackages.tezos-*: 8.3 -> 10.2 2021-10-13 10:04:20 +02:00
jsonm ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
junit maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
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
lablgtk3 ocamlPackages.lablgtk3: fix version reporting 2022-01-20 18:12:54 +01:00
lablgtk-extras treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
labltk ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
lacaml
ladspa ocamlPackages.ladspa: init at 0.2.2 2022-04-18 16:06:31 +02:00
lambda-term ocamlPackages.lambda-term: 3.1.0 → 3.2.0 2022-03-01 09:32:26 +01:00
lambdasoup ocamlPackages.lambdasoup: 0.7.2 → 0.7.3 2021-10-24 10:18:19 +02:00
lastfm ocamlPackages.lastfm: init at 0.3.3 2022-04-18 15:54:38 +02:00
lens ocamlPackages.lens: 1.2.4 → 1.2.5 2021-08-05 20:55:51 +02:00
letsencrypt ocamlPackages.{x509,tls}*: 0.14.1 -> 0.15.2 and related updates (#150712) 2021-12-30 11:05:06 +01:00
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 ocamlPackages.lru: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
lua-ml treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
lustre-v6 Treewide: fix some permanent redirects on homepages 2022-01-03 16:53:12 +01:00
lutils ocamlPackages.lustre-v6: init at 6.103.3 2021-09-30 21:38:06 +02:00
luv ocamlPackages.luv: 0.5.10 -> 0.5.11 2022-02-13 10:16:50 +01:00
lwt treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
lwt_log
lwt_react ocamlPackages.lwt_react: 1.0.1 → 1.1.5 2022-02-14 06:45:53 +01:00
lwt_ssl ocamlPackages.lwt_ssl: switch to fetchFromGitHub 2021-11-25 12:37:40 +01:00
lwt-canceler ocamlPackages.tezos-*: 8.3 -> 10.2 2021-10-13 10:04:20 +02:00
lwt-dllist ocamlPackages.lwt-dllist: 1.0.0 -> 1.0.1 2021-07-26 11:55:58 +02:00
lwt-exit ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
lwt-watcher ocamlPackages.lwt-watcher: 0.1 -> 0.2 2022-03-24 15:38:41 +01:00
macaddr ocamlPackages.{macaddr,ipaddr}: minor cleaning 2022-03-29 08:02:14 +02:00
macaque ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
magic-mime ocamlPackages.magic-mime: 1.1.3 -> 1.2.0 2022-03-21 07:09:54 +00:00
mariadb treewide: remove stdenv where not needed 2021-03-04 19:54:50 +07:00
markup ocamlPackages.markup: 1.0.0 -> 1.0.2 2022-03-21 02:04:47 +00:00
mccs ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
mdx ocamlPackages.mdx: disable for OCaml < 4.08 2022-02-24 21:24:56 +01:00
menhir ocamlPackages.menhirLib: 20211012 -> 20211128 (#148594) 2021-12-10 07:42:49 +01:00
merlin-extend ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
metrics
mew
mew_vi
mimic ocamlPackages.mimic: remove spurious dependencies 2022-03-29 09:47:08 +02:00
minisat ocaml-minisat: 0.3 -> 0.4 2021-10-25 13:19:41 +02:00
mirage ocamlPackages.mirage{,-runtime}: 3.10.4 -> 3.10.7 2021-12-15 14:57:42 +01:00
mirage-block ocamlPackages: update a bunch of libraries from the mirage universe (#132550) 2021-09-29 14:28:09 +02:00
mirage-block-ramdisk ocamlPackages.mirage-block-ramdisk: fix tests with alcotest 1.4.0 2021-07-09 08:23:04 +02:00
mirage-block-unix
mirage-bootvar-unix
mirage-bootvar-xen ocamlPackages.mirage-bootvar-xen: init at 0.8.0 2021-04-25 13:15:10 +02:00
mirage-channel ocamlPackages.mirage-channel: fix tests with alcotest 1.4.0 2021-07-09 08:23:04 +02:00
mirage-clock ocamlPackages.mirage-clock-freestanding: init at 3.1.0 2021-04-01 16:10:15 +02:00
mirage-console
mirage-crypto ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
mirage-device
mirage-flow ocamlPackages.mirage-flow: 2.0.1 -> 3.0.0 2022-03-24 16:25:14 +01:00
mirage-fs ocamlPackages.mirage-fs: 3.0.1 -> 4.0.0 2022-03-24 17:42:18 +01:00
mirage-kv
mirage-logs ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
mirage-nat ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
mirage-net
mirage-net-xen ocamlPackages.{mirage-net-xen,netchannel}: init at 2.0.0 2021-04-25 13:15:10 +02:00
mirage-profile ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
mirage-protocols
mirage-random
mirage-random-test
mirage-stack
mirage-time ocamlPackages.mirage-time: 2.0.1 -> 3.0.0 2022-03-24 18:04:18 +01:00
mirage-unix
mirage-vnetif
mirage-xen ocamlPackages.mirage-xen: init at 6.0.0 2021-04-25 13:13:23 +02:00
mlgmp ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
mlgmpidl ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
mmap
mparser comby: init at 1.5.1 2021-07-23 10:32:12 +02:00
mrmime fix buildinputs for mrmime 2021-11-08 09:59:05 -08:00
mtime ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
mustache ocamlPackages.menhir: 20190626 → 20210419 2021-06-05 13:38:01 +02:00
mysql ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
netchannel ocamlPackages.{mirage-net-xen,netchannel}: init at 2.0.0 2021-04-25 13:15:10 +02:00
nocrypto treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
noise ocamlPackages.noise: init at 0.2.0 2021-08-27 12:00:16 +02:00
nonstd ocamlPackages.nonstd,facile: run dune upgrade for newer ocaml versions 2022-03-25 13:55:18 +01:00
notty treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
npy ocamlPackages.npy: unstable-2019-04-02 → 0.0.9 2021-03-22 10:01:13 +01:00
num ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ocaml-cairo ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
ocaml-freestanding ocamlPackages.ocaml-freestanding: 0.6.4 → 0.6.5 2021-10-17 11:41:58 +02:00
ocaml-gettext ocamlPackages.gettext-camomile: init at 0.4.2 2021-04-02 09:13:44 +02:00
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 ocamlPackages.ocaml-migrate-parsetree: disable with OCaml ≥ 4.13 2022-03-04 16:09:07 +01:00
ocaml-monadic ocamlPackages.ocaml-monadic: 0.4.1 → 0.5.0 2021-07-22 21:36:22 +02:00
ocaml-print-intf ocamlPackages.ocaml-print-intf: init at 1.2.0 2021-08-27 07:38:37 +02:00
ocaml-protoc
ocaml-r ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ocaml-result
ocaml-sat-solvers
ocaml-syntax-shims
ocaml-version ocamlformat: 0.20.0 and 0.20.1 (#152199) 2022-01-03 10:02:28 +01:00
ocamlformat-rpc-lib ocamlPackages.ocamlformat-rpc-lib: downgrade for ocaml <= 4.12 2022-04-26 22:01:25 +02:00
ocamlfuse ocamlPackages.ocamlfuse: 2.7.1_cvs6 -> 2.7.1_cvs7 2022-03-13 21:19:09 +01:00
ocamlgraph maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
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 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ocb-stubblr ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ocf stog: 0.18.0 → 0.20.0 2021-12-30 08:23:22 +01:00
ocp-ocamlres treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
ocplib-endian ocamlPackages.ocplib-endian: disable for OCaml ≤ 4.02 2022-03-28 21:01:41 +02:00
ocplib-json-typed
ocplib-simplex ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.ocsipersist: init at 1.1.0 2022-04-05 13:33:20 +02:00
octavius ocamlPackages.octavius: 0.2.0 -> 1.2.2 2021-06-07 23:21:44 +02:00
ocurl ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
odate ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
odoc ocamlPackages.odoc: 1.5.2 → 1.5.3 2021-07-13 17:52:46 +02:00
odoc-parser ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
ogg ocamlPackages.ogg: init at 0.7.1 2022-03-09 15:43:12 +01:00
omd ocamlPackages: add meta.mainProgram to many packages 2022-05-11 09:02:37 +02:00
opam-core
opam-file-format ocamlPackages.opam-file-format: 2.1.2 -> 2.1.3 2021-06-15 13:13:01 +02:00
opam-format
opam-repository ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
opam-state
opium
opium_kernel ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
opti ocamlPackages.opti: use Dune 2 2021-04-05 17:19:44 +02:00
optint ocamlPackages: cohttp: 2.5.0 -> 4.0.0; conduit: 2.2.2 -> 4.0.0 (#118144) 2021-05-11 06:54:15 +02:00
opus ocamlPackages.opus: init at 0.2.1 2022-03-09 15:43:12 +01:00
ordering ocamlPackages.ordering: init at 3.0.3 2022-03-28 07:08:14 +02:00
otfm ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
otoml ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
otr ocamlPackages.mirage-crypto: 0.10.3 -> 0.10.5; ocamlPackages.otr: 0.3.8 -> 0.3.10 (#149783) 2021-12-10 13:00:39 +01:00
ounit ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ounit2
owee ocamlPackages.owee: 0.3 → 0.4 2022-03-13 21:19:09 +01:00
owl
owl-base ocamlPackages.owl: 1.0.1 -> 1.0.2 2022-03-24 18:26:08 +01:00
paf ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
parany ocamlPackages.parany: 12.1.1 -> 12.1.2 2021-12-22 10:30:50 +01:00
parmap ocamlPackages.parmap: 1.2.3 -> 1.2.4 2022-02-12 18:44:54 +00:00
parse-argv
path_glob ocamlPackages.path_glob: init at 0.2 2021-04-19 22:12:38 +02:00
pbkdf ocamlPackages.pbkdf: init at 1.1.0 2021-04-05 15:09:05 +02:00
pcap-format ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
pcre ocamlPackages.ocaml_pcre: 7.2.3 → 7.4.6 2021-07-22 09:31:45 +02:00
pecu ocamlPackages.pecu: 0.5 -> 0.6 2021-07-27 13:34:23 +02:00
pgocaml ocamlPackages.ppxlib: default to 0.22.0 2021-03-25 17:36:51 +01:00
pgsolver
phylogenetics ocamlPackages.phylogenetics: 0.0.0 -> 0.1.0 2022-04-12 16:02:48 +02:00
piaf maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
pipebang ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
piqi ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
piqi-ocaml ocamlPackages: add meta.mainProgram to many packages 2022-05-11 09:02:37 +02:00
posix
postgresql ocamlPackages.postgresql: 4.6.3 → 5.0.0 2021-04-14 22:39:03 +02:00
pp ocamlPackages.pp: init at 1.1.2 2021-08-27 13:38:37 +02:00
pprint ocamlPackages.pprint: 20171003 → 20220103 2022-02-15 07:25:24 +01:00
ppx_bap ocamlPackages: add meta.mainProgram to many packages 2022-05-11 09:02:37 +02:00
ppx_blob
ppx_cstubs ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
ppx_derivers
ppx_deriving ocamlPackage.ppx_deriving: fix build with ocaml 4.07 2022-03-04 18:42:42 +01:00
ppx_deriving_cmdliner ppx_deriving_cmdliner: init at 0.6.0 2021-05-02 14:52:52 +02:00
ppx_deriving_protobuf ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
ppx_deriving_rpc
ppx_deriving_yaml ocamlPackages.ppx_deriving_yaml: init at 0.1.0 (#139635) 2021-10-19 08:25:50 +02:00
ppx_deriving_yojson
ppx_gen_rec ocamlPackages.ppx_gen_rec: 1.1.0 -> 2.0.0 2021-06-06 14:55:09 +02:00
ppx_import ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399) 2022-01-26 13:16:24 +01:00
ppx_tools ocamlPackages.ppx_tools: 6.4 → 6.5 2022-03-15 08:38:01 +01:00
ppx_tools_versioned
ppx_yojson_conv_lib
ppxlib treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
prettym maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
printbox ocamlPackages.printbox: 0.6 -> 0.6.1 2022-03-24 18:34:40 +01:00
process treewide: rename name to pname&version 2022-02-06 23:56:36 +01:00
prof_spacetime ocamlPackages.lambda-term: 3.1.0 → 3.2.0 2022-03-01 09:32:26 +01:00
progress ocamlPackages.progress: 0.1.1 → 0.2.1 2022-01-14 15:43:06 +01:00
psmt2-frontend ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0 2022-03-21 08:40:44 +00:00
psq ocamlPackages.psq: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
ptime ocamlPackages.ptime: 0.8.5 -> 0.8.6 2022-04-09 19:50:52 +01:00
ptmap ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
ptset
pure-splitmix ocamlPackages.pure-splitmix: init at 0.3 2022-04-20 11:37:19 +02:00
pyml ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
qcheck ocamlPackages.qcheck: 0.17 → 0.18 2021-09-27 05:59:07 +02:00
qtest
randomconv
rdbg ocamlPackages.lustre-v6: init at 6.103.3 2021-09-30 21:38:06 +02:00
re
react ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
reactivedata treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
reason-native ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901) 2022-01-23 21:24:16 +01:00
resource-pooling
resto ocamlPackages.resto: init at 0.6.1 (#129522) 2021-07-15 09:34:54 +02:00
rfc7748 ocamlPackages.rfc7748: init at 1.0 2021-08-27 12:00:16 +02:00
ringo ocamlPackages.ringo: init at 0.5 (#130256) 2021-07-19 09:27:53 +02:00
rope ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
rosetta maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
routes ocamlPackages.routes: 0.9.1 -> 1.0.0 2022-03-24 18:37:09 +01:00
rpclib ocamlPackages.rpclib: 8.0.0 → 8.1.0 2021-04-12 21:37:58 +02:00
rresult ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
safepass ocamlPackages.safepass: 3.0 → 3.1 2021-04-15 07:04:35 +02:00
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 ocamlPackages.secp256k1-internal: init at 0.2.0 2021-07-16 08:36:05 +02:00
sedlex treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
semaphore-compat
seq pkgs/development: rename name to pname&version 2021-11-10 14:03:21 +01:00
sha ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
shared-memory-ring ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
shine ocamlPackages.shine: init at 0.2.2 2022-03-10 11:45:28 +01:00
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 ocamlPackages.spacetime_lib: disable for OCaml ≥ 4.12 2022-03-13 21:19:09 +01:00
speex ocamlPackages.speex: init at 0.4.1 2022-03-09 15:43:12 +01:00
spelll ocamlPackages.spelll: use Dune 2 2021-03-29 22:05:45 +02:00
sqlite3 ocamlPackages.sqlite3: use Dune 2 2021-04-07 21:27:13 +02:00
srt
ssl ocamlPackages.ssl: add dandellion as maintainer 2022-03-09 14:19:53 +01:00
stdcompat ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
stdint ocamlPackages.stdint: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
stdlib-shims
stdune ocamlPackages.stdune: don't be incompatible with our version of csexp 2022-04-26 21:50:24 +02:00
stringext ocamlPackages.stringext: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
syslog ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
syslog-message ocamlPackages.syslog-message: disable tests with OCaml < 4.08 2021-09-27 05:59:07 +02:00
tar ocamlPackages.tar: init at 1.1.0 2021-10-13 10:04:20 +02:00
tcpip ocamlPackages.tcpip: 7.0.1 -> 7.1.0 2022-03-24 18:43:16 +01:00
tcslib
terminal ocamlPackages.terminal: init at 0.2.1 2022-01-14 15:42:52 +01:00
terminal_size
theora ocamlPackages.theora: init at 0.4.0 2022-03-09 15:43:12 +01:00
tls ocamlPackages.{x509,tls}*: 0.14.1 -> 0.15.2 and related updates (#150712) 2021-12-30 11:05:06 +01:00
toml ocamlPackages.toml: 6.0.0 -> 7.0.0 (#165676) 2022-04-20 21:50:03 +02:00
topkg ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
torch ocamlPackages.torch: Mark as broken with pytorch >= 1.11 2022-04-06 07:35:24 +02:00
trie
tsdl ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
tsort
tuntap
twt ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
tyxml ocamlPackages.tyxml: 4.4.0 → 4.5.0 2021-05-30 17:02:25 +02:00
uchar ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
uecc treewide: quote urls according to rfc 0045 (#145260) 2021-11-10 11:37:56 +01:00
ulex ocamlPackages: inherit ocaml.meta.platforms 2022-05-11 09:02:37 +02:00
unionFind ocamlPackages.unionFind: init at 20220122 2022-03-31 19:51:42 +02:00
unstrctrd maintainers: remove superherointj 2021-11-02 18:22:31 -07:00
uri treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
uucd ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 ocamlPackages.vector: init at 1.0.0 2022-01-14 15:43:00 +01:00
vg treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
visitors ocamlPackages.visitors: 20210316 -> 20210608 2021-09-04 19:12:45 -05:00
vlq ocamlPackages.vlq: init at 0.2.1 2021-08-26 14:11:44 +02:00
vorbis ocamlPackages.vorbis: init at 0.8.0 2022-03-09 15:43:12 +01:00
wasm treewide: Simplify negated uses of versionAtLeast, versionOlder 2022-04-25 13:35:24 -07:00
wayland ocamlPackages.wayland: 0.2 -> 1.0; wayland-proxy-virtwl: unstable-2021-04-15 -> unstable-2021-12-05 (#150714) 2021-12-15 07:53:29 +01:00
webbrowser ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
webmachine
wodan
wtf8 ocamlPackages.wtf8: use Dune 2 2021-03-28 22:05:32 +02:00
x509 ocamlPackages.{x509,tls}*: 0.14.1 -> 0.15.2 and related updates (#150712) 2021-12-30 11:05:06 +01:00
xdg ocamlPackages.xdg: init at ${dune_3.version} 2022-04-26 22:01:24 +02:00
xenstore
xenstore_transport treewide: use https for github URIs 2021-04-17 17:59:08 +02:00
xenstore-tool
xml-light ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs 2022-02-24 14:39:27 +01:00
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 stog: 0.18.0 → 0.20.0 2021-12-30 08:23:22 +01:00
yaml ocamlPackages.yaml: enable tests with OCaml ≥ 4.08 2021-12-15 20:23:03 +01:00
yojson ocamlPackages: add meta.mainProgram to many packages 2022-05-11 09:02:37 +02:00
yuscii ocamlPackages.yuscii: fix tests on macOS 2021-11-09 23:16:02 -08:00
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