summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Expand)AuthorAgeFilesLines
* gnu: trealla: Update to 2.55.35.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.35. Change-Id: Ibdc23c3f443d55a4e2f8c256531b64a97fc42c2f jgart2024-09-061-2/+2
* gnu: trealla: Update to 2.55.34.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.34. Change-Id: Ida254b8f5877291cbcf8ac6ccb5e45a2f6d79a7f jgart2024-09-061-2/+2
* gnu: trealla: Update to 2.55.33.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.33. Change-Id: I56d95f72211c24ec7442c8d0fed31b3d181c79b3 jgart2024-09-051-2/+2
* gnu: trealla: Update to 2.55.32.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.32. Change-Id: I210d8c7c89b58c8308073fced54765382f0463e5 jgart2024-09-031-2/+2
* gnu: trealla: Update to 2.55.31.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.31. Change-Id: I7770279cddfd863548fb7f3a5f994412e486d326 jgart2024-09-031-2/+2
* gnu: trealla: Update to 2.55.30.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.30. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116 jgart2024-09-031-2/+2
* gnu: trealla: Update to 2.55.29.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.29. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116 jgart2024-09-031-2/+2
* gnu: trealla: Update to 2.55.28.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.28. Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b jgart2024-09-021-2/+2
* gnu: trealla: Update to 2.55.27.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.27. Change-Id: Ia024c6a77b617580991771467aa24666691b9f15 jgart2024-09-021-2/+2
* gnu: swi-prolog: Add libxcrypt dependency.•••* gnu/packages/prolog.scm (swi-prolog)[inputs]: Add libxcrypt. Change-Id: Id24dda144b28d504c01a08f8e20228ebb6122c4f 宋文武2024-08-311-0/+2
* gnu: trealla: Update to 2.55.26.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.26. Change-Id: I2a2652d2415d007fabf8974212cd35686336905f jgart2024-08-261-2/+2
* gnu: trealla: Update to 2.55.25.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.25. Change-Id: I3c00edc6292c9e351ff514d3ca835236aa6c1d7e jgart2024-08-261-2/+2
* gnu: trealla: Update to 2.55.24.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.24. Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4 jgart2024-08-251-2/+2
* gnu: trealla: Update to 2.55.23.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.23. Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8 jgart2024-08-241-2/+2
* gnu: trealla: Update to 2.55.22.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.22. Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b jgart2024-08-161-2/+2
* gnu: trealla: Update to 2.55.21.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.21. Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2 jgart2024-08-141-2/+2
* gnu: trealla: Update to 2.55.20.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.20. Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13 jgart2024-08-141-2/+2
* gnu: trealla: Update to 2.55.19.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.19. Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4 jgart2024-08-121-2/+2
* gnu: trealla: Update to 2.55.18.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.18. Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3 jgart2024-08-121-2/+2
* gnu: trealla: Update to 2.55.17.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.17. Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e jgart2024-08-121-2/+2
* gnu: trealla: Update to 2.55.16.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.16. Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2 jgart2024-08-121-2/+2
* gnu: trealla: Update to 2.55.15.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.15. Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b jgart2024-08-051-2/+2
* gnu: swi-prolog: Update to 9.3.8.•••* gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8. Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a jgart2024-08-011-2/+2
* gnu: trealla: Update to 2.55.14.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.14. Change-Id: I796a466590d9667934e610614611c8933ea2fdca jgart2024-08-011-2/+2
* gnu: trealla: Update to 2.55.13.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.13. Change-Id: I32f7c67667250e6972772a5d4bbffbd585d30796 jgart2024-08-011-2/+2
* gnu: trealla: Update to 2.55.12.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.12. Change-Id: I4a58b72bec88d95e5953390ecf6d558d2534b9de jgart2024-07-311-2/+2
* gnu: trealla: Update to 2.55.11.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.11. Change-Id: I0254cde4f5b72d39196d92d06839001eb54e68cf jgart2024-07-311-2/+2
* gnu: trealla: Update to 2.55.10.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.10. Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9 jgart2024-07-261-2/+2
* gnu: trealla: Update to 2.55.9.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.9. Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9 jgart2024-07-261-2/+2
* gnu: trealla: Update to 2.55.8.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.8. Change-Id: Ia938a79d35948d56a97a8933b312916f264c31b7 jgart2024-07-261-2/+2
* gnu: trealla: Update to 2.55.7.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.7. Change-Id: I6f954cfa3bcf8c6b34ee2f4ca902f3b7ef1f5b38 jgart2024-07-251-2/+2
* gnu: trealla: Update to 2.55.6.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.6. Change-Id: I258ebe918fb71876fbdda7277d468f863633ef3b jgart2024-07-251-2/+2
* gnu: trealla: Update to 2.55.5.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.5. Change-Id: Ib9c4da341b4af4cb5ee8d72af4d51b5ecad26be6 jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.55.4.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.4. Change-Id: I6e684cf6ddd03d05910a8de6719fad767105a5c1 jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.55.3.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.3. Change-Id: Idf943e2bfc9213ed2bac51cb73d087a64a7b7eec jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.55.2.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.2. Change-Id: I61d057db57efc30f3a957d1345f86d7b8857965f jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.55.1.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.1. Change-Id: Ib3888d69aa7fa38c03d171a624500ed28098f031 jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.55.0.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.0. Change-Id: Ie3bdd311afae7e975ce495594a35ac20a708bb09 jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.54.6.•••* gnu/packages/prolog.scm (trealla): Update to 2.54.6. Change-Id: I665c518f29bd6df3c9556209453a8638e471a197 jgart2024-07-241-2/+2
* gnu: trealla: Update to 2.54.5.•••* gnu/packages/prolog.scm (trealla): Update to 2.54.5. Change-Id: Ie0495ddcc1f82298cb4be9adec6dc92e7b0fa175 jgart2024-07-181-2/+2
* gnu: trealla: Update to 2.54.3.•••* gnu/packages/prolog.scm (trealla): Update to 2.54.3. Change-Id: Iacaca2720ae4a457c570ebcd13be0260c81aa691 jgart2024-07-131-2/+2
* gnu: trealla: Update to 2.53.48.•••* gnu/packages/prolog.scm (trealla): Update to 2.53.48. Change-Id: I2544e65003880fa5ec6d70a8ba814bb88722c3c9 jgart2024-07-111-2/+2
* gnu: trealla: Update to 2.53.47.•••* gnu/packages/prolog.scm (trealla): Update to 2.53.47. Change-Id: Ide1766e92cc2ee0ec435f02db11bcd4c73fc3642 jgart2024-07-091-2/+2
* gnu: trealla: Update to 2.53.37.•••* gnu/packages/prolog.scm (trealla): Update to 2.53.37. Change-Id: Iea845c85fc4397223a3ed783ab4492928fd9473b Signed-off-by: jgart <jgart@dismail.de> jgart2024-07-051-2/+2
* gnu: trealla: update to 2.53.10.•••* gnu/packages/prolog.scm (trealla): Update to 2.53.10. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193 jgart2024-06-291-2/+2
* gnu: trealla: update to 2.53.2.•••* gnu/packages/prolog.scm (trealla): Update to 2.53.2. Change-Id: I6ce5bfc95faa5453d6cdb8a3b03a3f4b21241193 jgart2024-06-241-2/+2
* gnu: trealla: update to 2.52.40.•••* gnu/packages/prolog.scm (trealla): Update to 2.52.40. Change-Id: I746255bf4709d0ee5dc8ac40edcf566f07cbb413 jgart2024-06-221-2/+2
* gnu: logtalk: Update to 3.80.0.•••* gnu/packages/prolog.scm (logtalk): Update to 3.80.0. Change-Id: I1ad9cd723413d44bc987bb961dd94e137dbb77eb Signed-off-by: jgart <jgart@dismail.de> 宋文武2024-06-191-2/+2
* gnu: trealla: update to 2.52.35.•••* gnu/packages/prolog.scm (trealla): Update to 2.52.35. Change-Id: I5710c3d617aa85564533efeb8944f49aab4eee8e jgart2024-06-191-2/+2
* gnu: trealla: Only build with valgrind when supported.•••* gnu/packages/prolog.scm (trealla)[native-inputs]: Remove git. Only add valgrind when on supported platforms. [arguments]: When building without valgrind adjust the test-target to run the test suite which doesn't expect valgrind present. Change-Id: Ib2a1a4fd5eace98d4c9eba7e55663fe0ab9daa73 Efraim Flashner2024-06-171-2/+9
generated by cgit v1.2.3 (git 2.47.1) at 2025-01-31 14:29:57 +0000