Ben Siraphob ea5f5df1c7 coqPackages.smtcoq: expand to more supported versions		2024-02-12 15:40:25 -05:00
..
default.nix	coqPackages.smtcoq: expand to more supported versions	2024-02-12 15:40:25 -05:00