Weijia Wang
a3da43c25e
Merge pull request #213520 from vbgl/alt-ergo-fix
...
alt-ergo: fix src URL
2023-01-30 13:54:22 +01:00
Vincent Laporte
229ef3021c
ocamlPackages.psmt2-frontend: minor cleaning
2023-01-30 10:55:52 +01:00
Weijia Wang
1ec2dce631
Merge pull request #213521 from wegank/tsdl-darwin
...
ocamlPackages.tsdl: fix build on darwin
2023-01-30 10:32:40 +01:00
Weijia Wang
605704fa22
ocamlPackages.tsdl: fix build on darwin
2023-01-30 08:30:29 +01:00
Vincent Laporte
f697326b03
ocamlPackages.decompress: 1.5.1 → 1.5.2
2023-01-30 07:26:52 +01:00
Vincent Laporte
7e0272c78e
ocamlPackages.carton: use Dune 3
2023-01-30 07:26:48 +01:00
Vincent Laporte
8303bef387
ocamlPackages.pbkdf: use Dune 3
2023-01-30 07:26:44 +01:00
Vincent Laporte
5b360aa5a4
ocamlPackages.x509: use Dune 3
2023-01-29 07:24:54 +01:00
Vincent Laporte
e17eb8b5e5
ocamlPackages.ca-certs-nss: 3.77 → 3.86
2023-01-29 07:24:49 +01:00
Vincent Laporte
e65d5f0d88
ocamlPackages.hkdf: use Dune 3
2023-01-29 07:22:09 +01:00
Vincent Laporte
5fe440a36a
ocamlPackages.awa: 0.1.0 → 0.1.1
2023-01-29 07:22:09 +01:00
Vincent Laporte
7a7c9f938c
ocamlPackages.mdx: 2.1.0 → 2.2.1
2023-01-28 08:45:30 +01:00
Weijia Wang
9469779ebe
Merge pull request #212910 from vbgl/ocaml-javalib-3.2.2
...
ocamlPackages.javalib: 3.2.1 → 3.2.2; sawja: 1.5.11 → 1.5.12
2023-01-28 04:10:20 +01:00
Artturi
c11e244d6e
Merge pull request #166450 from rgrinberg/topkg-1.0.5
2023-01-27 20:08:27 +02:00
Vincent Laporte
3968d0e5b9
ocamlPackages.sawja: 1.5.11 → 1.5.12
2023-01-27 07:34:16 +01:00
Vincent Laporte
8281faf75a
ocamlPackages.javalib: 3.2.1 → 3.2.2
2023-01-27 07:34:10 +01:00
Shawn8901
a59dda942c
treewide: remove global with lib; statements in pkgs/development
2023-01-26 18:31:02 +01:00
Weijia Wang
6dd632b2e5
ocamlPackages.lustre-v6: update hash
2023-01-26 15:50:29 +01:00
Weijia Wang
0d70a4119b
topkg: 1.0.3 -> 1.0.5
2023-01-26 05:28:49 +01:00
Weijia Wang
aece81e2d8
Merge pull request #184384 from r-ryantm/auto-update/ocaml4.13.1-ctypes
...
ocamlPackages.ctypes: 0.20.0 -> 0.20.1
2023-01-26 05:23:39 +01:00
Weijia Wang
efecda5112
Merge pull request #211533 from vbgl/ocaml-gluten-0.3.0
...
ocamlPackages.gluten: 0.2.1 → 0.3.0
2023-01-26 04:22:31 +01:00
Weijia Wang
7b9a3310ac
Merge pull request #207685 from r-ryantm/auto-update/ocaml4.14.0-optint
...
ocamlPackages.optint: 0.2.0 -> 0.3.0
2023-01-26 04:09:46 +01:00
Weijia Wang
545f8b1dcc
Merge pull request #208467 from r-ryantm/auto-update/ocaml4.14.0-cairo2
...
ocamlPackages.cairo2: 0.6.2 -> 0.6.4
2023-01-26 04:09:11 +01:00
Vincent Laporte
aa1415c6a5
ocamlPackages.gluten: 0.2.1 -> 0.3.0
2023-01-26 02:45:35 +01:00
Weijia Wang
51d4fcf02e
Merge pull request #212502 from Et7f3/fix_ocamlPackages.gd4o
...
ocamlPackages.gd4o: fix build on darwin and probably on linux
2023-01-25 16:06:10 +01:00
Et7f3
fd1a6a6672
ocamlPackages.gd4o: Support cross-compilation
...
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-01-25 14:17:15 +01:00
Jonas Heinrich
cd1351bd03
Merge pull request #212218 from vbgl/ocaml-lutils-1.54.1
...
ocamlPackages.lutils: 1.51.2 → 1.54.1
2023-01-25 11:10:00 +01:00
Jonas Heinrich
5a6308c80e
ocamlPackages.lutils: add changelog link
2023-01-25 11:00:21 +01:00
Vincent Laporte
13a6aa4571
ocamlPackages.ca-certs: 0.2.2 → 0.2.3
2023-01-25 08:20:19 +01:00
Et7f3
a5ffa79932
ocamlPackages.gd4o: fix build on darwin and probably on linux
2023-01-24 23:41:28 +01:00
Weijia Wang
dff69fffd0
Merge pull request #197048 from Et7f3/fix-ocamlPackages.carton-test
...
ocamlPackages.carton: Tests require getconf
2023-01-24 09:47:31 +01:00
Et7f3
d079571aa2
ocamlPackages.paf, ocamlPackages.paf-cohttp: add local networking for test
...
in test we can read this:
[exception] Unix.Unix_error(Unix.EPERM, "bind", "")
Raised by primitive operation at Tcpv4v6_socket.listen.(fun) in file "src/stack-unix/tcpv4v6_socket.ml", line 149, characters 6-50
2023-01-24 02:15:38 +01:00
Nick Cao
43c35c1c30
Merge pull request #211732 from vbgl/ocaml-secp256k1-0.4.4
...
ocamlPackages.secp256k1: 0.4.1 → 0.4.4
2023-01-23 15:54:54 +08:00
Vincent Laporte
8145499e9c
ocamlPackages.lutils: 1.51.2 → 1.54.1
2023-01-23 07:03:27 +01:00
Vincent Laporte
dcf9def933
ocamlPackages.arp: use Dune 3
2023-01-22 13:16:36 +01:00
Vincent Laporte
53e0df1390
ocamlPackages.tcpip: use Dune 3
2023-01-22 13:16:36 +01:00
Vincent Laporte
d82e054c13
ocamlPackages.mirage-nat: 2.2.5 → 3.0.1
2023-01-22 13:16:36 +01:00
Nick Cao
8583c1cda9
Merge pull request #211883 from vbgl/ocaml-fdkaac-0.3.3
...
ocamlPackages.fdkaac: 0.3.2 → 0.3.3
2023-01-22 16:57:16 +08:00
Weijia Wang
218c4c526e
Merge pull request #212002 from mothsART/feature/replace_http_by_https
...
treewide: replace http by https when https is a permanent redirection
2023-01-22 03:26:02 +01:00
Ferry Jérémie
65d7e87fdb
treewide: replace http by https when https is a permanent redirection
2023-01-22 02:46:49 +01:00
Weijia Wang
a29659d943
Merge pull request #208459 from r-ryantm/auto-update/ocaml4.14.0-ssl
...
ocamlPackages.ssl: 0.5.12 -> 0.5.13
2023-01-22 02:25:54 +01:00
Sandro
84bd062b23
Merge pull request #165097 from r-ryantm/auto-update/ocaml4.13.1-rresult
2023-01-21 20:00:20 +01:00
Sandro
274201f063
Merge pull request #165105 from r-ryantm/auto-update/ocaml4.13.1-sqlite3
2023-01-21 18:30:28 +01:00
Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Guillaume Girol
74beb55f91
ocamlPackages.batteries: set strictDeps
2023-01-21 16:42:10 +01:00
Vincent Laporte
64e23c8501
ocamlPackages.fdkaac: 0.3.2 → 0.3.3
2023-01-21 07:29:10 +01:00
Vincent Laporte
a2339d5193
ocamlPackages.vorbis: use Dune 3
2023-01-21 07:29:05 +01:00
Vincent Laporte
644c8f5cd5
ocamlPackages.theora: use Dune 3
2023-01-21 07:29:01 +01:00
Vincent Laporte
4d33f74bec
ocamlPackages.opus: use Dune 3
2023-01-21 07:28:57 +01:00
Vincent Laporte
bc954f6b81
ocamlPackages.bjack: minor cleaning
2023-01-21 07:28:51 +01:00
