alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/applications/science/logic/opensmt
History
R. Ryantm b954ef286d opensmt: 2.5.0 -> 2.5.1
2023-05-26 22:27:08 +00:00
..
default.nix opensmt: 2.5.0 -> 2.5.1 2023-05-26 22:27:08 +00:00