JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1c9cbe8a05
nixpkgs/pkgs/applications/science/logic/opensmt
History
R. RyanTM 1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1
2021-09-14 18:44:37 +00:00
..
default.nix opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00