pkgs/development/ocaml-modules/lambdapi · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development ocaml-modules lambdapi

1 file

Vincent Laporte · why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) · 3y ago

why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)