summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/xsb: use PV in SRC_URISam James2022-09-221-2/+2
* dev-lang/xsb: support building with autoconf-2.70Keri Harris2021-08-061-1/+1
* dev-lang/xsb: respect CFLAGS when building gpp. Closes #789363Keri Harris2021-05-151-1/+1
* dev-lang/xsb: define XSB FltInt for single-threaded enginesKeri Harris2021-05-101-1/+1
* dev-lang/xsb: version bumpKeri Harris2021-05-101-0/+212