gnu: r-jsonlite: Use HTTPS home page.
[jackhill/guix/guix.git] / gnu / packages / prolog.scm
2020-01-26 Marius BakkeMerge branch 'master' into staging
2020-01-24 Brett Giliognu: swi-prolog: Update to 8.1.21.
2020-01-07 Marius BakkeMerge branch 'staging'
2020-01-04 Brett Giliognu: swi-prolog: Update to 8.1.20.
2020-01-04 Brett Giliognu: swi-prolog: Modify documentation installation.
2020-01-04 Brett Giliognu: swi-prolog: Enable tests.
2020-01-04 Brett Giliognu: Add swi-prolog.
2020-01-04 Brett Giliognu: gprolog: Use license prefix.
2020-01-04 Brett GilioRevert "gnu: Add swi-prolog."
2020-01-04 Brett Giliognu: Add swi-prolog.
2020-01-04 Brett Giliognu: Rename module gprolog to prolog.