Mario Rodas a388e920f3 Merge pull request #70720 from yrashk/swipl-8.1.15 ... swipl: 8.1.4 -> 8.1.15		2019-10-14 22:16:16 -05:00
..
default.nix	Merge pull request #70720 from yrashk/swipl-8.1.15	2019-10-14 22:16:16 -05:00