Răsfoiți Sursa

Merge pull request #3396 from ninjarobot/patch-5

Bump swipl to 7.5.13
yosifkit 8 ani în urmă
părinte
comite
817b825d12
1 a modificat fișierele cu 3 adăugiri și 3 ștergeri
  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.12
-GitCommit: c62441347c7984269ab315fbf042850cbe3407fa
-Directory: 7.5.12/stretch
+Tags: latest, 7.5.13
+GitCommit: 47b7841a2ab6eadea32f6104bc62a779c682e47e
+Directory: 7.5.13/stretch