Pārlūkot izejas kodu

Merge pull request #3585 from ninjarobot/patch-11

Bump swipl to 7.7.1, include typical addins
yosifkit 8 gadi atpakaļ
vecāks
revīzija
9ed771b1e4
1 mainītis faili ar 3 papildinājumiem un 7 dzēšanām
  1. 3 7
      library/swipl

+ 3 - 7
library/swipl

@@ -1,14 +1,10 @@
 Maintainers: Dave Curylo <[email protected]> (@ninjarobot)
 GitRepo: https://github.com/SWI-Prolog/docker-swipl.git
 
-Tags: latest, 7.7.0
-GitCommit: a90c231a9bc888705b72f0fca1f0774897dfba54
-Directory: 7.7.0/stretch
+Tags: latest, 7.7.1
+GitCommit: 96c86a17801437c3424834721a171a6521cc8d30
+Directory: 7.7.1/stretch
 
 Tags: stable, 7.6.0
 GitCommit: 96f1963cd93da79eecd6fc7442ab301135a982f5
 Directory: 7.6.0/stretch
-
-Tags: 7.5.15
-GitCommit: 31e2158e7ba2bb2fa9ebff7c0717c476244506bb
-Directory: 7.5.15/stretch