Browse Source

Merge pull request #3315 from ninjarobot/patch-4

Bump swipl to 7.5.12
yosifkit 8 years ago
parent
commit
d3b8762d53
1 changed files with 3 additions and 3 deletions
  1. 3 3
      library/swipl

+ 3 - 3
library/swipl

@@ -1,6 +1,6 @@
 Maintainers: Dave Curylo <[email protected]> (@ninjarobot)
 GitRepo: https://github.com/SWI-Prolog/docker-swipl.git
 
-Tags: latest, 7.5.11
-GitCommit: e8d1f0bf3db5e9cbfa331aba06bb740a76a81f83
-Directory: 7.5.11/stretch
+Tags: latest, 7.5.12
+GitCommit: c62441347c7984269ab315fbf042850cbe3407fa
+Directory: 7.5.12/stretch