summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/swi-prolog: add dependency for YAML packageKeri Harris2018-07-142-0/+151
* dev-lang/swi-prolog: remove old versionsKeri Harris2018-07-143-263/+0
* dev-lang/swi-prolog: remove old development versionsKeri Harris2018-07-145-596/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2018-07-142-0/+149
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-07-042-0/+149
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-07-032-0/+149
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-06-222-0/+149
* dev-lang/swi-prolog: remove old development versionsKeri Harris2018-06-054-441/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-06-052-0/+149
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-05-192-0/+149
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-05-012-0/+147
* dev-lang/*: Update dependencies (x11-proto/* -> x11-base/xorg-proto).Arfrever Frehtes Taifersar Arahesis2018-04-307-10/+10
* dev-lang/swi-prolog: remove old 7.4 versionKeri Harris2018-04-082-145/+0
* dev-lang/swi-prolog: remove old 7.6 versionsKeri Harris2018-04-084-441/+0
* dev-lang/swi-prolog: remove old development versionsKeri Harris2018-04-083-294/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-03-242-0/+147
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-03-132-0/+147
* dev-lang/swi-prolog: stable 7.4.2 for ppc, bug #633804Sergei Trofimovich2018-03-051-2/+2
* dev-lang/swi-prolog: remove old development versionsKeri Harris2018-02-183-294/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-02-182-0/+147
* dev-lang/swi-prolog: version bumpKeri Harris2018-01-272-0/+147
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-01-272-0/+147
* dev-lang/swi-prolog: remove old development versionsKeri Harris2018-01-103-294/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-01-092-0/+147
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2018-01-082-0/+147
* dev-lang/swi-prolog: remove old 7.7 development versionsKeri Harris2017-12-183-294/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2017-12-182-0/+147
* dev-lang/swi-prolog: remove old 7.5 development versionsKeri Harris2017-12-184-441/+0
* dev-lang/swi-prolog: version bumpKeri Harris2017-12-102-0/+147
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2017-12-102-0/+147
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-7/+7
* dev-lang/swi-prolog: version bumpKeri Harris2017-12-042-0/+147
* dev-lang/swi-prolog: remove old development versionsKeri Harris2017-12-043-296/+0
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2017-12-042-0/+147
* dev-lang/swi-prolog: remove old 7.6 RC versionsKeri Harris2017-12-033-298/+0
* dev-lang/swi-prolog: version bumpKeri Harris2017-12-032-0/+147
* dev-lang/swi-prolog: bump 7.7 development versionKeri Harris2017-12-032-10/+157
* dev-lang/swi-prolog: version bumpKeri Harris2017-10-112-0/+147
* dev-lang/swi-prolog: x86 stable (bug #633804)Thomas Deutschmann2017-10-101-1/+1
* dev-lang/swi-prolog: stable on amd64. Bug #633804Keri Harris2017-10-081-1/+1
* dev-lang/swi-prolog: add 7.6 RC versionsKeri Harris2017-10-083-0/+298
* dev-lang/swi-prolog: fix Prolog HTTP unit test racesKeri Harris2017-10-073-3/+5
* dev-lang/swi-prolog: version bumpKeri Harris2017-10-072-0/+147
* dev-lang/swi-prolog: version bumpKeri Harris2017-10-072-0/+147
* dev-lang/swi-prolog: support TAI leap seconds in date calculationsKeri Harris2017-09-293-4/+4
* dev-lang/swi-prolog: handle semweb XSD unit tests in non-C localesKeri Harris2017-09-243-4/+4
* dev-lang/swi-prolog: support versions of OpenSSL built without patent encumbe...Keri Harris2017-09-243-2/+6
* dev-lang/swi-prolog: bump 7.5 development versionKeri Harris2017-09-232-0/+147
* dev-lang/swi-prolog: remove old development versionsKeri Harris2017-09-213-290/+0
* dev-lang/swi-prolog: bump 7.5 development versionKeri Harris2017-09-212-0/+147