summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/qu-prolog: version bumpKeri Harris7 days3-0/+126
* dev-lang/mozart: pin bootcompiler to scala-2.12Keri Harris8 days1-9/+2
* dev-lang/mozart: patch bootcompiler to work with Scala 2.12Keri Harris9 days2-5/+5
* dev-lang/mozart: remove = slot operator from inside || blockKeri Harris10 days1-2/+2
* dev-lang/mozart-stdlib: version bumpKeri Harris10 days2-0/+38
* dev-lang/mozart: version bumpKeri Harris10 days2-0/+101
* dev-lang/swi-prolog: bump development versionKeri Harris12 days2-0/+104
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-06-155-416/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-06-152-0/+104
* dev-lang/swi-prolog: add 8.3 development versionKeri Harris2020-06-132-0/+104
* dev-lang/qu-prolog: version bumpKeri Harris2020-06-132-0/+98
* dev-lang/gprolog: work around GCC10 (-fno-common) build failuresKeri Harris2020-05-281-0/+3
* dev-lang/swi-prolog: version bumpKeri Harris2020-05-272-0/+104
* dev-lang/qu-prolog: EAPI 7 fixupKeri Harris2020-05-271-2/+1
* dev-lang/qu-prolog: version bumpKeri Harris2020-05-272-0/+100
* dev-lang/qu-prolog: consolidate QT patchesKeri Harris2020-05-274-38/+3
* dev-lang/mozart: fix compile failures with GCC 9. Closes #722954Keri Harris2020-05-272-15/+25
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-262-0/+104
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-152-0/+104
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-05-143-208/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-142-0/+104
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-132-0/+104
* dev-lang/yap: fix MYDDAS compiled with stdbool. Closes #720324Keri Harris2020-05-112-4/+4
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-05-113-211/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-112-0/+104
* dev-lang/swi-prolog: bump development versionKeri Harris2020-05-102-0/+104
* dev-lang/mercury-extras: fix mercury lib search paths. Closes #715838Keri Harris2020-04-021-2/+2
* dev-lang/mercury-extras: version bumpKeri Harris2020-04-012-0/+319
* dev-lang/mercury: version bumpKeri Harris2020-04-012-0/+203
* dev-lang/mercury-extras: version bumpKeri Harris2020-03-293-0/+322
* dev-lang/mercury: version bumpKeri Harris2020-03-292-0/+208
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-03-255-428/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-03-252-0/+104
* dev-lang/swi-prolog: bump development versionKeri Harris2020-03-232-0/+107
* dev-lang/swi-prolog: bump development versionKeri Harris2020-03-222-0/+107
* dev-lang/mercury: enable MCC to be patched as part of bootstrapKeri Harris2020-03-221-2/+1
* dev-lang/mercury-extras: TCL+curses compile-time fixesKeri Harris2020-03-212-2/+2
* dev-lang/mercury-extras: fix ml compatibility with 17.1 profilesKeri Harris2020-03-212-6/+6
* dev-lang/qu-prolog: version bumpKeri Harris2020-03-213-0/+136
* dev-lang/mercury: support Mercury GC compiled using muslKeri Harris2020-03-212-2/+2
* dev-lang/logtalk: remove old versionKeri Harris2020-03-212-129/+0
* dev-lang/logtalk: version bumpKeri Harris2020-03-213-0/+150
* dev-lang/swi-prolog: bump development versionKeri Harris2020-03-212-0/+107
* dev-lang/swi-prolog: remove old development versionsKeri Harris2020-03-215-428/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2020-02-272-0/+107
* dev-lang/swi-prolog: bump development versionKeri Harris2020-01-272-0/+107
* dev-lang/swi-prolog: bump development versionKeri Harris2020-01-082-0/+107
* dev-lang/swi-prolog: remove old development versionsKeri Harris2019-12-184-315/+0
* dev-lang/swi-prolog: bump development versionKeri Harris2019-12-182-0/+107
* dev-lang/swi-prolog: bump development versionKeri Harris2019-12-172-0/+107