3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

3472 commits

Author SHA1 Message Date
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