Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/swi-prolog
Commit message (Expand)AuthorAgeFilesLines
...
* dev-lang/swi-prolog: add development versionKeri Harris2021-05-152-0/+123
* dev-lang/swi-prolog: bump development versionKeri Harris2021-05-102-0/+123
* dev-lang/swi-prolog: Drop 8.2.2 and 8.3.20Andreas Sturmlechner2021-05-093-210/+0
* dev-lang/swi-prolog: Tidyup, drop multilibAndreas Sturmlechner2021-05-093-31/+23
* dev-lang/swi-prolog: Stabilize 8.2.3 ppc, #780366Sam James2021-05-091-1/+1
* dev-lang/swi-prolog: stable on amd64 + x86. Bug 780366.Keri Harris2021-05-081-1/+1
* dev-lang/swi-prolog: bump development versionKeri Harris2021-05-082-0/+125
* dev-lang/swi-prolog: version bumpKeri Harris2021-05-082-0/+125
* dev-lang/swi-prolog: switch to cmake.eclass. Bug 780366.Keri Harris2021-05-082-16/+12
* dev-lang/swi-prolog: remove libressl supportMikle Kolyada2021-05-024-12/+8
* dev-lang/swi-prolog: update JDK dependencyKeri Harris2021-05-024-4/+4
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-05-023-210/+0
* dev-lang/swi-prolog: eutils--Sam James2021-04-166-6/+6
* dev-lang/swi-prolog: bump development versionKeri Harris2021-04-152-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2021-03-102-0/+105
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-03-073-210/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2021-03-072-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2021-02-052-0/+105
* dev-lang/swi-prolog: remove old versionKeri Harris2021-02-052-105/+0
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-01-123-210/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-122-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-102-0/+105
* dev-lang/swi-prolog: Stabilize 8.2.2 ppc, #764179Sam James2021-01-081-1/+1
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-01-083-212/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-082-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-072-0/+105
* dev-lang/swi-prolog: stabilize 8.2.2 amd64 + x86, #764179Keri Harris2021-01-071-1/+1
* dev-lang/swi-prolog: drop x86-macosFabian Groffen2021-01-065-6/+6
* dev-lang/swi-prolog: handle unknown_issuer sequence in SSL testsKeri Harris2021-01-063-3/+7
* dev-lang/swi-prolog: version bumpKeri Harris2021-01-062-0/+105
* dev-lang/swi-prolog: remove old development versionsKeri Harris2021-01-063-210/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-062-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2021-01-052-0/+107
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-12-143-210/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-12-132-0/+105
* dev-lang/swi-prolog: version bumpKeri Harris2020-12-112-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2020-12-112-0/+105
* dev-lang/swi-prolog: remove old versionsKeri Harris2020-11-083-205/+0
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-11-083-210/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-11-082-0/+105
* dev-lang/swi-prolog: bump development versionKeri Harris2020-11-042-0/+105
* dev-lang/swi-prolog: ppc stable wrt bug #742275Agostino Sarubbo2020-09-181-1/+1
* dev-lang/swi-prolog: stable on amd64 + x86. Bug 742275Keri Harris2020-09-141-1/+1
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-09-133-208/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-09-132-0/+105
* dev-lang/swi-prolog: swipl.cmake multilib awarenessKeri Harris2020-09-121-0/+1
* dev-lang/swi-prolog: bump development versionKeri Harris2020-09-122-0/+105
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-09-125-416/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-09-092-0/+104
* dev-lang/swi-prolog: bump development versionKeri Harris2020-07-172-0/+104