about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/apron
AgeCommit message (Expand)AuthorFilesLines
2023-09-28ocamlPackages.apron: don’t strip libraries on darwinVincent Laporte1-1/+1
2023-09-28ocamlPackages.apron: enable PPLite supportVincent Laporte1-1/+2
2023-09-28ocamlPackages.apron: 0.9.13 → 0.9.14Vincent Laporte1-8/+4
2023-02-03ocamlPackages treewide: strictDeps all packagesUlrik Strid1-0/+1
2022-12-17ocamlPackages.apron: fixup build by using older makeVladimír Čunát1-2/+5
2022-03-03ocamlPackages.apron: set strictDeps = false to fix install failureUlrik Strid1-1/+1
2022-02-24ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputsUlrik Strid1-1/+4
2022-02-10treewide: rename name to pname&version (#158454)Felix Bühler1-1/+1
2021-01-12ocamlPackages: stdenv.lib → libsternenseemann1-3/+3
2020-11-06ocamlPackages.apron: split into multiple outputsVincent Laporte1-2/+15
2020-09-21ocamlPackages.apron: 0.9.12 → 0.9.13Vincent Laporte1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-02-10ocamlPackages.apron: 2016-01-25 → 0.9.12Vincent Laporte1-6/+8
2017-01-14ocamlPackages.apron: init at 20160125Vincent Laporte1-0/+24