nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 20:33:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
22f88c83dd
nixpkgs/pkgs/development/ocaml-modules/lambdapi
History
Vincent Laporte e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
2023-03-20 20:45:47 +01:00
..
default.nix why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 2023-03-20 20:45:47 +01:00