Felix Buehler 34be580107 gprolog: replace name with pname&version		2021-08-16 14:06:42 +02:00
..
default.nix	gprolog: replace name with pname&version	2021-08-16 14:06:42 +02:00