Vincent Laporte
3dfaa2a965
ocamlPackages.apron: don’t strip libraries on darwin
...
See https://github.com/antoinemine/apron/issues/93
2023-09-28 12:49:51 +02:00
Vincent Laporte
e7a162f48a
ocamlPackages.apron: enable PPLite support
2023-09-28 07:33:52 +02:00
Vincent Laporte
86f5431801
ocamlPackages.apron: 0.9.13 → 0.9.14
2023-09-28 07:33:52 +02:00
Ulrik Strid
c53a63adf1
ocamlPackages treewide: strictDeps all packages
2023-02-03 08:59:34 +01:00
Vladimír Čunát
ac54eb177a
ocamlPackages.apron: fixup build by using older make
2022-12-17 08:35:35 +01:00
Ulrik Strid
432c775f3b
ocamlPackages.apron: set strictDeps = false to fix install failure
2022-03-03 15:26:02 +01:00
Ulrik Strid
a13cdfe520
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
...
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
Felix Bühler
464e9792ff
treewide: rename name to pname&version ( #158454 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-02-10 01:28:00 +01:00
sternenseemann
4e42cac49d
ocamlPackages: stdenv.lib → lib
...
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.
Reference #108938 .
2021-01-12 16:33:18 +01:00
Vincent Laporte
63aa105b1c
ocamlPackages.apron: split into multiple outputs
2020-11-06 10:06:11 +01:00
Vincent Laporte
c06b0edde2
ocamlPackages.apron: 0.9.12 → 0.9.13
2020-09-21 08:05:23 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Vincent Laporte
30fada894e
ocamlPackages.apron: 2016-01-25 → 0.9.12
2020-02-10 07:36:54 +01:00
Vincent Laporte
67a5833330
ocamlPackages.apron: init at 20160125
...
APRON is an OCaml library of numerical abstract domains
Homepage: http://apron.cri.ensmp.fr/library/
2017-01-14 09:34:34 +00:00
