aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
AgeCommit message (Expand)Author
2024-10-28gnu: trealla: Update to 2.58.0....* gnu/packages/prolog.scm (trealla): Update to 2.58.0. Change-Id: Ibd2a982389a07c07523fa3a787f06e2013adcdfc jgart
2024-10-23gnu: trealla: Update to 2.57.25....* gnu/packages/prolog.scm (trealla): Update to 2.57.25. Change-Id: I6779078c3d439d11b6a34d42d1dae467a0764186 jgart
2024-10-22gnu: trealla: Update to 2.56.14....* gnu/packages/prolog.scm (trealla): Update to 2.56.14. Change-Id: I8c3ccb53eddf7e3156fcbab5772d024bd3fc46d7 jgart
2024-10-20gnu: trealla: Update to 2.56.13....* gnu/packages/prolog.scm (trealla): Update to 2.56.13. Change-Id: Id977e4c58398747ce9a1bfffa97837e29eab66cf jgart
2024-10-17gnu: trealla: Update to 2.56.12....* gnu/packages/prolog.scm (trealla): Update to 2.56.12. Change-Id: Id19362edf9daaae100ef8a45e0ccac7f72c695a7 jgart
2024-10-13gnu: trealla: Update to 2.56.11....* gnu/packages/prolog.scm (trealla): Update to 2.56.11. Change-Id: I685534168f022d06c88d722b97a6642f6ed41d59 jgart
2024-10-11gnu: trealla: Update to 2.56.10....* gnu/packages/prolog.scm (trealla): Update to 2.56.10. Change-Id: I7f1d0dc7ceb55f91e1fe8679f17f79f21ca43a56 jgart
2024-10-10gnu: trealla: Update to 2.56.9....* gnu/packages/prolog.scm (trealla): Update to 2.56.9. Change-Id: I65c694f2d459ccc3fefd41b442e1657717b5d7bf jgart
2024-10-10gnu: trealla: Update to 2.56.8....* gnu/packages/prolog.scm (trealla): Update to 2.56.8. Change-Id: I86da853a4f40452959e0846b98273a83fed36d98 jgart
2024-10-08gnu: trealla: Update to 2.56.7....* gnu/packages/prolog.scm (trealla): Update to 2.56.7. Change-Id: I4392418566f7a633998055854dc6127c9f2e3da2 jgart
2024-10-08gnu: trealla: Update to 2.56.6....* gnu/packages/prolog.scm (trealla): Update to 2.56.6. Change-Id: Ib85d2e009db753b288813ea66c3ace2dff80e95b jgart
2024-10-08gnu: trealla: Update to 2.56.5....* gnu/packages/prolog.scm (trealla): Update to 2.56.5. Change-Id: Id049cc8970761fdb202f94a17661854edd2d289c jgart
2024-10-07gnu: trealla: Update to 2.56.4....* gnu/packages/prolog.scm (trealla): Update to 2.56.4. Change-Id: I05180e4fdb9dc9a7595cd1b4d652aea9bf01f24e jgart
2024-10-02gnu: trealla: Update to 2.56.3....* gnu/packages/prolog.scm (trealla): Update to 2.56.3. Change-Id: If3ad35cf8556b8f16d9474ac412a3a0cecdce8b4 jgart
2024-10-01gnu: trealla: Update to 2.56.2....* gnu/packages/prolog.scm (trealla): Update to 2.56.2. Change-Id: I6fd1f43d01d9cbe8056900a30678d1f400b45a5c jgart
2024-09-30gnu: trealla: Update to 2.56.1....* gnu/packages/prolog.scm (trealla): Update to 2.56.1. Change-Id: Ifca36ba3ae5d2c7e55dd10592edbd15619e5298f jgart
2024-09-28gnu: trealla: Update to 2.56.0....* gnu/packages/prolog.scm (trealla): Update to 2.56.0. Change-Id: Ib77a74484ff33e4be0c9641f423abd5e24ec083e jgart
2024-09-26gnu: trealla: Update to 2.55.44....* gnu/packages/prolog.scm (trealla): Update to 2.55.44. Change-Id: Iab05e055828d98a72ac46d4bc4d84b82b3cb8ca6 jgart
2024-09-25gnu: trealla: Update to 2.55.43....* gnu/packages/prolog.scm (trealla): Update to 2.55.43. Change-Id: I576705752147313460ddd6e712574165802a2919 jgart
2024-09-22gnu: trealla: Update to 2.55.42....* gnu/packages/prolog.scm (trealla): Update to 2.55.42. Change-Id: Ie6eb7dd737e4fc09793f59e228e076a967d0cdf5 jgart
2024-09-21gnu: trealla: Update to 2.55.41....* gnu/packages/prolog.scm (trealla): Update to 2.55.41. Change-Id: I401d1b21d8b72d716be7d2b9093a77390106d13b jgart
2024-09-16gnu: trealla: Update to 2.55.40....* gnu/packages/prolog.scm (trealla): Update to 2.55.40. Change-Id: Ib054f7d4395fcbed92dbeec6d46eba4dfc655c32 jgart
2024-09-16gnu: trealla: Update to 2.55.39....* gnu/packages/prolog.scm (trealla): Update to 2.55.39. Change-Id: Ia129975edb2fd06bef1234c7b7a1257d1b2eca2d jgart
2024-09-16gnu: trealla: Update to 2.55.38....* gnu/packages/prolog.scm (trealla): Update to 2.55.38. Change-Id: I4a9eb499cb3ba0c5ceebe0b6860084f0c24e28c5 jgart
2024-09-16gnu: trealla: Patch package version string in build step....* gnu/packages/prolog.scm (trealla) [arguments]: Patch version. Change-Id: Ia9428a54e3d51deaf066a91674ff9f9eeadc5a20 jgart
2024-09-15gnu: trealla: Update to 2.55.37....* gnu/packages/prolog.scm (trealla): Update to 2.55.37. Change-Id: I708de06864f3c7feb541135bfacd3a265b2d1f43 jgart
2024-09-15gnu: trealla: Update to 2.55.36....* gnu/packages/prolog.scm (trealla): Update to 2.55.36. Change-Id: I977f129ff4d634e823b503e2b7c94cdb04845651 jgart
2024-09-06gnu: trealla: Update to 2.55.35....* gnu/packages/prolog.scm (trealla): Update to 2.55.35. Change-Id: Ibdc23c3f443d55a4e2f8c256531b64a97fc42c2f jgart
2024-09-06gnu: trealla: Update to 2.55.34....* gnu/packages/prolog.scm (trealla): Update to 2.55.34. Change-Id: Ida254b8f5877291cbcf8ac6ccb5e45a2f6d79a7f jgart
2024-09-05gnu: trealla: Update to 2.55.33....* gnu/packages/prolog.scm (trealla): Update to 2.55.33. Change-Id: I56d95f72211c24ec7442c8d0fed31b3d181c79b3 jgart
2024-09-03gnu: trealla: Update to 2.55.32....* gnu/packages/prolog.scm (trealla): Update to 2.55.32. Change-Id: I210d8c7c89b58c8308073fced54765382f0463e5 jgart
2024-09-03gnu: trealla: Update to 2.55.31....* gnu/packages/prolog.scm (trealla): Update to 2.55.31. Change-Id: I7770279cddfd863548fb7f3a5f994412e486d326 jgart
2024-09-03gnu: trealla: Update to 2.55.30....* gnu/packages/prolog.scm (trealla): Update to 2.55.30. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116 jgart
2024-09-03gnu: trealla: Update to 2.55.29....* gnu/packages/prolog.scm (trealla): Update to 2.55.29. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116 jgart
2024-09-02gnu: trealla: Update to 2.55.28....* gnu/packages/prolog.scm (trealla): Update to 2.55.28. Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b jgart
2024-09-02gnu: trealla: Update to 2.55.27....* gnu/packages/prolog.scm (trealla): Update to 2.55.27. Change-Id: Ia024c6a77b617580991771467aa24666691b9f15 jgart
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....* gnu/packages/prolog.scm (trealla): Update to 2.55.26. Change-Id: I2a2652d2415d007fabf8974212cd35686336905f jgart
2024-08-26gnu: trealla: Update to 2.55.25....* gnu/packages/prolog.scm (trealla): Update to 2.55.25. Change-Id: I3c00edc6292c9e351ff514d3ca835236aa6c1d7e jgart
2024-08-25gnu: trealla: Update to 2.55.24....* gnu/packages/prolog.scm (trealla): Update to 2.55.24. Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4 jgart
2024-08-24gnu: trealla: Update to 2.55.23....* gnu/packages/prolog.scm (trealla): Update to 2.55.23. Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8 jgart
2024-08-16gnu: trealla: Update to 2.55.22....* gnu/packages/prolog.scm (trealla): Update to 2.55.22. Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b jgart
2024-08-14gnu: trealla: Update to 2.55.21....* gnu/packages/prolog.scm (trealla): Update to 2.55.21. Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2 jgart
2024-08-14gnu: trealla: Update to 2.55.20....* gnu/packages/prolog.scm (trealla): Update to 2.55.20. Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13 jgart
2024-08-12gnu: trealla: Update to 2.55.19....* gnu/packages/prolog.scm (trealla): Update to 2.55.19. Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4 jgart
2024-08-12gnu: trealla: Update to 2.55.18....* gnu/packages/prolog.scm (trealla): Update to 2.55.18. Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3 jgart
2024-08-12gnu: trealla: Update to 2.55.17....* gnu/packages/prolog.scm (trealla): Update to 2.55.17. Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e jgart
2024-08-12gnu: trealla: Update to 2.55.16....* gnu/packages/prolog.scm (trealla): Update to 2.55.16. Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2 jgart
2024-08-05gnu: trealla: Update to 2.55.15....* gnu/packages/prolog.scm (trealla): Update to 2.55.15. Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b jgart
2024-08-01gnu: swi-prolog: Update to 9.3.8....* gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8. Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a jgart