nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 12:53:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
43fd3a94bb
nixpkgs/pkgs/applications/science/logic/why3
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
with-provers.nix pkgs.applications: remove unused args 2022-10-12 16:00:16 +02:00