SWI-Prolog docker-swipl issues

SWI-Prolog / docker-swipl

Docker images for SWI-Prolog

BSD 2-Clause "Simplified" License

14 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

arm32v7 failing to build

#32 tianon opened 1 year ago
11
Update to 8.3.13 development version

#31 JanWielemaker closed 3 years ago
6
Update to 8.2.2. Also updated rserve_client and prosqlite packages.

#30 JanWielemaker closed 4 years ago
1
8.2

#29 JanWielemaker closed 4 years ago
1
Swipl 8.1.30 based on Debian Buster.

#28 ninjarobot closed 4 years ago
0
TIPC socket libraries needed for Linda library may not be working

#27 robwalton closed 4 years ago
1
Updated to 8.1.16. Include library(yaml) and deal with the modified …

#26 JanWielemaker closed 4 years ago
0
Errors building addins in 8.1.15 with `pack_rebuild`

#25 ninjarobot closed 4 years ago
3
Support multiarchitecture images in Docker

#24 aarroyoc opened 5 years ago
2
Add swipl 8.1.8

#23 JanWielemaker closed 5 years ago
1
Add swipl 8.0.3

#22 JanWielemaker closed 5 years ago
3
Update to swipl 7.7.22 (cmake based build)

#21 JanWielemaker closed 5 years ago
0
Add Support for ARM64V8 architecture

#20 odidev closed 6 years ago
5
Update to 7.7.16

#19 jrvosse closed 6 years ago
1
package supported?

#18 bertvannuffelen closed 6 years ago
3
Swap armhf comparisons to exclude on arm32v7 properly

#17 tianon closed 6 years ago
2
Adding arm32v7 architecture support.

#16 ninjarobot closed 6 years ago
5
Allow passing a source file to load when running the swipl container

#15 iivalchev closed 6 years ago
3
Bump version and sync dockerfile with development versions

#14 JanWielemaker closed 6 years ago
4
7.7.4 docker file.

#13 JanWielemaker closed 6 years ago
0
WIP: Bump to 7.7.1, include space, prosqlite, rocksdb, hdt, rserve addins

#12 ninjarobot closed 7 years ago
8
Added stable version 7.6.0

#11 jrvosse closed 7 years ago
3
Use recent multiple FROM

#10 JanWielemaker opened 7 years ago
5
More packages

#9 JanWielemaker closed 7 years ago
2
Bumbed version to 7.7.1. Also

#8 JanWielemaker closed 4 years ago
5
Support arm64 architecture

#7 longquan7 closed 6 years ago
10
new version, LANG set to C.UTF-8

#6 jrvosse closed 7 years ago
1
Setting locale in swipl docker image

#5 ninjarobot closed 7 years ago
4
swipl image is newer than swipl/swipl

#4 jrvosse closed 7 years ago
3
Bump to 7.5.14

#3 jrvosse closed 7 years ago
2
Update README to include information from official image docs

#2 ninjarobot opened 7 years ago
2
Update image to 7.5.12

#1 ninjarobot closed 7 years ago
1