mimadrid c8b0f338a0 swi-prolog: 7.2.3 -> 7.4.2		2017-08-01 20:54:47 +02:00
..
default.nix	swi-prolog: 7.2.3 -> 7.4.2	2017-08-01 20:54:47 +02:00