summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Collapse)Author
2024-10-11gnu: trealla: Update to 2.56.10.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.10. Change-Id: I7f1d0dc7ceb55f91e1fe8679f17f79f21ca43a56
2024-10-10gnu: trealla: Update to 2.56.9.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.9. Change-Id: I65c694f2d459ccc3fefd41b442e1657717b5d7bf
2024-10-10gnu: trealla: Update to 2.56.8.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.8. Change-Id: I86da853a4f40452959e0846b98273a83fed36d98
2024-10-08gnu: trealla: Update to 2.56.7.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.7. Change-Id: I4392418566f7a633998055854dc6127c9f2e3da2
2024-10-08gnu: trealla: Update to 2.56.6.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.6. Change-Id: Ib85d2e009db753b288813ea66c3ace2dff80e95b
2024-10-08gnu: trealla: Update to 2.56.5.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.5. Change-Id: Id049cc8970761fdb202f94a17661854edd2d289c
2024-10-07gnu: trealla: Update to 2.56.4.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.4. Change-Id: I05180e4fdb9dc9a7595cd1b4d652aea9bf01f24e
2024-10-02gnu: trealla: Update to 2.56.3.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.3. Change-Id: If3ad35cf8556b8f16d9474ac412a3a0cecdce8b4
2024-10-01gnu: trealla: Update to 2.56.2.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.2. Change-Id: I6fd1f43d01d9cbe8056900a30678d1f400b45a5c
2024-09-30gnu: trealla: Update to 2.56.1.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.1. Change-Id: Ifca36ba3ae5d2c7e55dd10592edbd15619e5298f
2024-09-28gnu: trealla: Update to 2.56.0.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.56.0. Change-Id: Ib77a74484ff33e4be0c9641f423abd5e24ec083e
2024-09-26gnu: trealla: Update to 2.55.44.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.44. Change-Id: Iab05e055828d98a72ac46d4bc4d84b82b3cb8ca6
2024-09-25gnu: trealla: Update to 2.55.43.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.43. Change-Id: I576705752147313460ddd6e712574165802a2919
2024-09-22gnu: trealla: Update to 2.55.42.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.42. Change-Id: Ie6eb7dd737e4fc09793f59e228e076a967d0cdf5
2024-09-21gnu: trealla: Update to 2.55.41.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.41. Change-Id: I401d1b21d8b72d716be7d2b9093a77390106d13b
2024-09-16gnu: trealla: Update to 2.55.40.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.40. Change-Id: Ib054f7d4395fcbed92dbeec6d46eba4dfc655c32
2024-09-16gnu: trealla: Update to 2.55.39.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.39. Change-Id: Ia129975edb2fd06bef1234c7b7a1257d1b2eca2d
2024-09-16gnu: trealla: Update to 2.55.38.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.38. Change-Id: I4a9eb499cb3ba0c5ceebe0b6860084f0c24e28c5
2024-09-16gnu: trealla: Patch package version string in build step.jgart
* gnu/packages/prolog.scm (trealla) [arguments]: Patch version. Change-Id: Ia9428a54e3d51deaf066a91674ff9f9eeadc5a20
2024-09-15gnu: trealla: Update to 2.55.37.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.37. Change-Id: I708de06864f3c7feb541135bfacd3a265b2d1f43
2024-09-15gnu: trealla: Update to 2.55.36.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.36. Change-Id: I977f129ff4d634e823b503e2b7c94cdb04845651
2024-09-06gnu: trealla: Update to 2.55.35.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.35. Change-Id: Ibdc23c3f443d55a4e2f8c256531b64a97fc42c2f
2024-09-06gnu: trealla: Update to 2.55.34.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.34. Change-Id: Ida254b8f5877291cbcf8ac6ccb5e45a2f6d79a7f
2024-09-05gnu: trealla: Update to 2.55.33.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.33. Change-Id: I56d95f72211c24ec7442c8d0fed31b3d181c79b3
2024-09-03gnu: trealla: Update to 2.55.32.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.32. Change-Id: I210d8c7c89b58c8308073fced54765382f0463e5
2024-09-03gnu: trealla: Update to 2.55.31.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.31. Change-Id: I7770279cddfd863548fb7f3a5f994412e486d326
2024-09-03gnu: trealla: Update to 2.55.30.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.30. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
2024-09-03gnu: trealla: Update to 2.55.29.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.29. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
2024-09-02gnu: trealla: Update to 2.55.28.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.28. Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b
2024-09-02gnu: trealla: Update to 2.55.27.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.27. Change-Id: Ia024c6a77b617580991771467aa24666691b9f15
2024-08-31gnu: swi-prolog: Add libxcrypt dependency.宋文武
* gnu/packages/prolog.scm (swi-prolog)[inputs]: Add libxcrypt. Change-Id: Id24dda144b28d504c01a08f8e20228ebb6122c4f
2024-08-26gnu: trealla: Update to 2.55.26.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.26. Change-Id: I2a2652d2415d007fabf8974212cd35686336905f
2024-08-26gnu: trealla: Update to 2.55.25.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.25. Change-Id: I3c00edc6292c9e351ff514d3ca835236aa6c1d7e
2024-08-25gnu: trealla: Update to 2.55.24.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.24. Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4
2024-08-24gnu: trealla: Update to 2.55.23.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.23. Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8
2024-08-16gnu: trealla: Update to 2.55.22.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.22. Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b
2024-08-14gnu: trealla: Update to 2.55.21.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.21. Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2
2024-08-14gnu: trealla: Update to 2.55.20.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.20. Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13
2024-08-12gnu: trealla: Update to 2.55.19.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.19. Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4
2024-08-12gnu: trealla: Update to 2.55.18.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.18. Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3
2024-08-12gnu: trealla: Update to 2.55.17.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.17. Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e
2024-08-12gnu: trealla: Update to 2.55.16.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.16. Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2
2024-08-05gnu: trealla: Update to 2.55.15.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.15. Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b
2024-08-01gnu: swi-prolog: Update to 9.3.8.jgart
* gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8. Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a
2024-08-01gnu: trealla: Update to 2.55.14.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.14. Change-Id: I796a466590d9667934e610614611c8933ea2fdca
2024-08-01gnu: trealla: Update to 2.55.13.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.13. Change-Id: I32f7c67667250e6972772a5d4bbffbd585d30796
2024-07-31gnu: trealla: Update to 2.55.12.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.12. Change-Id: I4a58b72bec88d95e5953390ecf6d558d2534b9de
2024-07-31gnu: trealla: Update to 2.55.11.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.11. Change-Id: I0254cde4f5b72d39196d92d06839001eb54e68cf
2024-07-26gnu: trealla: Update to 2.55.10.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.10. Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9
2024-07-26gnu: trealla: Update to 2.55.9.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.55.9. Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9