Vincenzo Mantova 8fb57a90eb eukleides: add getopt in euktoeps wrapper		2021-06-21 08:17:11 +01:00
..
default.nix	eukleides: add getopt in euktoeps wrapper	2021-06-21 08:17:11 +01:00
use-CC.patch	eukleides: use $CC instead of hardcoded gcc	2021-05-16 12:03:47 +01:00