summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Expand)AuthorAgeFilesLines
* gnu: trealla: Update to 2.63.12.•••* gnu/packages/prolog.scm (trealla): Update to 2.63.12. Change-Id: I522595164a94ae3fc6e8a8c9625934cc4e929cb8 jgart2025-01-081-2/+2
* gnu: trealla: Update to 2.63.11.•••* gnu/packages/prolog.scm (trealla): Update to 2.63.11. Change-Id: I2bd879863a8f705846c0a0a6d08f64fc63cc8f4c jgart2025-01-051-2/+2
* gnu: trealla: Update to 2.63.10.•••* gnu/packages/prolog.scm (trealla): Update to 2.63.10. Change-Id: I5a31956117ce6b1336e701be7cf90ca21362417b jgart2024-12-261-2/+2
* gnu: trealla: Update to 2.63.9.•••* gnu/packages/prolog.scm (trealla): Update to 2.63.9. Change-Id: I42fa6fa24b5b145774c514f3e5cad0cd3c3e77d2 jgart2024-12-201-2/+2
* gnu: trealla: Update to 2.58.0.•••* gnu/packages/prolog.scm (trealla): Update to 2.58.0. Change-Id: Ibd2a982389a07c07523fa3a787f06e2013adcdfc jgart2024-10-281-2/+2
* gnu: trealla: Update to 2.57.25.•••* gnu/packages/prolog.scm (trealla): Update to 2.57.25. Change-Id: I6779078c3d439d11b6a34d42d1dae467a0764186 jgart2024-10-231-2/+2
* gnu: trealla: Update to 2.56.14.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.14. Change-Id: I8c3ccb53eddf7e3156fcbab5772d024bd3fc46d7 jgart2024-10-221-2/+2
* gnu: trealla: Update to 2.56.13.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.13. Change-Id: Id977e4c58398747ce9a1bfffa97837e29eab66cf jgart2024-10-201-2/+2
* gnu: trealla: Update to 2.56.12.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.12. Change-Id: Id19362edf9daaae100ef8a45e0ccac7f72c695a7 jgart2024-10-171-2/+2
* gnu: trealla: Update to 2.56.11.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.11. Change-Id: I685534168f022d06c88d722b97a6642f6ed41d59 jgart2024-10-131-2/+2
* gnu: trealla: Update to 2.56.10.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.10. Change-Id: I7f1d0dc7ceb55f91e1fe8679f17f79f21ca43a56 jgart2024-10-111-2/+2
* gnu: trealla: Update to 2.56.9.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.9. Change-Id: I65c694f2d459ccc3fefd41b442e1657717b5d7bf jgart2024-10-101-2/+2
* gnu: trealla: Update to 2.56.8.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.8. Change-Id: I86da853a4f40452959e0846b98273a83fed36d98 jgart2024-10-101-2/+2
* gnu: trealla: Update to 2.56.7.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.7. Change-Id: I4392418566f7a633998055854dc6127c9f2e3da2 jgart2024-10-081-2/+2
* gnu: trealla: Update to 2.56.6.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.6. Change-Id: Ib85d2e009db753b288813ea66c3ace2dff80e95b jgart2024-10-081-2/+2
* gnu: trealla: Update to 2.56.5.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.5. Change-Id: Id049cc8970761fdb202f94a17661854edd2d289c jgart2024-10-081-2/+2
* gnu: trealla: Update to 2.56.4.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.4. Change-Id: I05180e4fdb9dc9a7595cd1b4d652aea9bf01f24e jgart2024-10-071-2/+2
* gnu: trealla: Update to 2.56.3.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.3. Change-Id: If3ad35cf8556b8f16d9474ac412a3a0cecdce8b4 jgart2024-10-021-2/+2
* gnu: trealla: Update to 2.56.2.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.2. Change-Id: I6fd1f43d01d9cbe8056900a30678d1f400b45a5c jgart2024-10-011-2/+2
* gnu: trealla: Update to 2.56.1.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.1. Change-Id: Ifca36ba3ae5d2c7e55dd10592edbd15619e5298f jgart2024-09-301-2/+2
* gnu: trealla: Update to 2.56.0.•••* gnu/packages/prolog.scm (trealla): Update to 2.56.0. Change-Id: Ib77a74484ff33e4be0c9641f423abd5e24ec083e jgart2024-09-281-2/+2
* gnu: trealla: Update to 2.55.44.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.44. Change-Id: Iab05e055828d98a72ac46d4bc4d84b82b3cb8ca6 jgart2024-09-261-2/+2
* gnu: trealla: Update to 2.55.43.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.43. Change-Id: I576705752147313460ddd6e712574165802a2919 jgart2024-09-251-2/+2
* gnu: trealla: Update to 2.55.42.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.42. Change-Id: Ie6eb7dd737e4fc09793f59e228e076a967d0cdf5 jgart2024-09-221-2/+2
* gnu: trealla: Update to 2.55.41.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.41. Change-Id: I401d1b21d8b72d716be7d2b9093a77390106d13b jgart2024-09-211-2/+2
* gnu: trealla: Update to 2.55.40.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.40. Change-Id: Ib054f7d4395fcbed92dbeec6d46eba4dfc655c32 jgart2024-09-161-2/+2
* gnu: trealla: Update to 2.55.39.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.39. Change-Id: Ia129975edb2fd06bef1234c7b7a1257d1b2eca2d jgart2024-09-161-2/+2
* gnu: trealla: Update to 2.55.38.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.38. Change-Id: I4a9eb499cb3ba0c5ceebe0b6860084f0c24e28c5 jgart2024-09-161-2/+2
* gnu: trealla: Patch package version string in build step.•••* gnu/packages/prolog.scm (trealla) [arguments]: Patch version. Change-Id: Ia9428a54e3d51deaf066a91674ff9f9eeadc5a20 jgart2024-09-161-0/+5
* gnu: trealla: Update to 2.55.37.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.37. Change-Id: I708de06864f3c7feb541135bfacd3a265b2d1f43 jgart2024-09-151-2/+2
* gnu: trealla: Update to 2.55.36.•••* gnu/packages/prolog.scm (trealla): Update to 2.55.36. Change-Id: I977f129ff4d634e823b503e2b7c94cdb04845651 jgart2024-09-151-2/+2
* 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