Théo Zimmermann 365f7f342f coqPackages.StructTact: preemptive fix for removal of configure in future versions		2022-12-24 17:19:46 +01:00
..
default.nix	coqPackages.StructTact: preemptive fix for removal of configure in future versions	2022-12-24 17:19:46 +01:00