summaryrefslogtreecommitdiffstats
path: root/pkgs/development/ocaml-modules/apron
AgeCommit message (Expand)Author
2023-09-28ocamlPackages.apron: don’t strip libraries on darwinVincent Laporte
2023-09-28ocamlPackages.apron: enable PPLite supportVincent Laporte
2023-09-28ocamlPackages.apron: 0.9.13 → 0.9.14Vincent Laporte
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid
2022-12-17ocamlPackages.apron: fixup build by using older makeVladimír Čunát
2022-03-03ocamlPackages.apron: set strictDeps = false to fix install failureUlrik Strid
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid
2022-02-10treewide: rename name to pname&version (#158454)Felix Bühler
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann
2020-11-06ocamlPackages.apron: split into multiple outputsVincent Laporte
2020-09-21ocamlPackages.apron: 0.9.12 → 0.9.13Vincent Laporte
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-02-10ocamlPackages.apron: 2016-01-25 → 0.9.12Vincent Laporte
2017-01-14ocamlPackages.apron: init at 20160125Vincent Laporte
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-01 12:44:47 +0000