summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/mercury: do not build dvi/pdf documentation. Closes #575140Keri Harris13 hours1-2/+7
* dev-lang/mercury: fixes for x86 grades using global registersKeri Harris2018-09-091-0/+9
* dev-lang/mercury-extras: filter out csharp gradesKeri Harris2018-09-032-2/+2
* dev-lang/gprolog: disable PIE as gplc generates native ASMKeri Harris2018-09-031-0/+5
* dev-lang/qu-prolog: amd64 stable (bug #665142)Keri Harris2018-09-031-1/+1
* dev-lang/gprolog: enabled PL -> WAM compilation on x86Keri Harris2018-09-021-0/+1
* dev-lang/swi-prolog: fix semweb XSD decimal conversionsKeri Harris2018-09-022-2/+2
* dev-lang/gprolog: do not write outside of sandbox during testsKeri Harris2018-09-012-0/+12
* dev-lang/swi-prolog: bump development versionKeri Harris2018-09-012-0/+151
* dev-lang/logtalk: remove old versionsKeri Harris2018-07-226-465/+0
* dev-lang/logtalk: version bumpKeri Harris2018-07-223-0/+150
* dev-lang/logtalk: update mimeinfo databaseKeri Harris2018-07-221-0/+2
* dev-lang/gprolog: version bumpKeri Harris2018-07-226-0/+159
* dev-lang/swi-prolog: apply JPL thread stack fixKeri Harris2018-07-212-1/+3
* dev-lang/mercury: fix mmc erlang grade determinationKeri Harris2018-07-212-2/+2
* dev-lang/mercury: keep java/csharp module directoriesKeri Harris2018-07-191-0/+8
* dev-lang/qu-prolog: version bumpKeri Harris2018-07-193-0/+136
* dev-lang/mercury-extras: fix precedence of mercury-pkgsKeri Harris2018-07-171-1/+1
* dev-lang/mercury: do not use csc as mercury C# compilerKeri Harris2018-07-172-2/+2
* dev-lang/mercury: handle spaces in mercury PARALLEL argsKeri Harris2018-07-163-14/+14
* dev-lang/yap: stream-trylock fixes for GCC-7Keri Harris2018-07-162-2/+2
* dev-lang/yap: patch CLPBN package for gcc 7Keri Harris2018-07-142-3/+3
* 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/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/qu-prolog: amd64 stableKeri Harris2018-02-201-1/+1
* 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/qu-prolog: port to QT5Keri Harris2018-01-272-0/+136
* 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