summaryrefslogtreecommitdiff
path: root/gnu/packages/prolog.scm
Commit message (Collapse)AuthorAgeFilesLines
* gnu: trealla: Update to 2.63.33.jgart8 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.33. Change-Id: Ifa0d3125f4bd8e11451d26fc37e7062c32cec5c2
* gnu: trealla: Update to 2.63.32.jgart9 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.32. Change-Id: Ie03bcb4ce891e12b7a6bcc5d8423d37b1998c6a7
* gnu: trealla: Update to 2.63.29.jgart10 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.29. Change-Id: Ifa1dcb6928ac193081de3d1a280dece32be4fdb6
* gnu: trealla: Update to 2.63.27.jgart11 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.27. Change-Id: Ib0419751933feab465e1dce11c613c5dff34741b
* gnu: trealla: Update to 2.63.25.jgart12 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.25. Change-Id: I9d9bd51ee180a4952a1da419df52cb25ff68f50a
* gnu: trealla: Update to 2.63.22.jgart13 days1-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.22. Change-Id: Idb43ee5daf59035f582b70c0b4b3617be0a1363d
* gnu: trealla: Update to 2.63.17.jgart2025-01-161-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.17. Change-Id: I01e3e93d5eb3c69d9ee2642be4f5b6f8ada7ff16
* gnu: trealla: Update to 2.63.15.jgart2025-01-141-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.15. Change-Id: I8867f8fc0279ab1cdcab08641aebf8f44e217539
* gnu: trealla: Update to 2.63.12.jgart2025-01-081-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.12. Change-Id: I522595164a94ae3fc6e8a8c9625934cc4e929cb8
* gnu: trealla: Update to 2.63.11.jgart2025-01-051-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.11. Change-Id: I2bd879863a8f705846c0a0a6d08f64fc63cc8f4c
* gnu: trealla: Update to 2.63.10.jgart2024-12-261-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.10. Change-Id: I5a31956117ce6b1336e701be7cf90ca21362417b
* gnu: trealla: Update to 2.63.9.jgart2024-12-201-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.63.9. Change-Id: I42fa6fa24b5b145774c514f3e5cad0cd3c3e77d2
* gnu: trealla: Update to 2.58.0.jgart2024-10-281-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.58.0. Change-Id: Ibd2a982389a07c07523fa3a787f06e2013adcdfc
* gnu: trealla: Update to 2.57.25.jgart2024-10-231-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.57.25. Change-Id: I6779078c3d439d11b6a34d42d1dae467a0764186
* gnu: trealla: Update to 2.56.14.jgart2024-10-221-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.14. Change-Id: I8c3ccb53eddf7e3156fcbab5772d024bd3fc46d7
* gnu: trealla: Update to 2.56.13.jgart2024-10-201-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.13. Change-Id: Id977e4c58398747ce9a1bfffa97837e29eab66cf
* gnu: trealla: Update to 2.56.12.jgart2024-10-171-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.12. Change-Id: Id19362edf9daaae100ef8a45e0ccac7f72c695a7
* gnu: trealla: Update to 2.56.11.jgart2024-10-131-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.11. Change-Id: I685534168f022d06c88d722b97a6642f6ed41d59
* gnu: trealla: Update to 2.56.10.jgart2024-10-111-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.10. Change-Id: I7f1d0dc7ceb55f91e1fe8679f17f79f21ca43a56
* gnu: trealla: Update to 2.56.9.jgart2024-10-101-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.9. Change-Id: I65c694f2d459ccc3fefd41b442e1657717b5d7bf
* gnu: trealla: Update to 2.56.8.jgart2024-10-101-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.8. Change-Id: I86da853a4f40452959e0846b98273a83fed36d98
* gnu: trealla: Update to 2.56.7.jgart2024-10-081-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.7. Change-Id: I4392418566f7a633998055854dc6127c9f2e3da2
* gnu: trealla: Update to 2.56.6.jgart2024-10-081-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.6. Change-Id: Ib85d2e009db753b288813ea66c3ace2dff80e95b
* gnu: trealla: Update to 2.56.5.jgart2024-10-081-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.5. Change-Id: Id049cc8970761fdb202f94a17661854edd2d289c
* gnu: trealla: Update to 2.56.4.jgart2024-10-071-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.4. Change-Id: I05180e4fdb9dc9a7595cd1b4d652aea9bf01f24e
* gnu: trealla: Update to 2.56.3.jgart2024-10-021-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.3. Change-Id: If3ad35cf8556b8f16d9474ac412a3a0cecdce8b4
* gnu: trealla: Update to 2.56.2.jgart2024-10-011-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.2. Change-Id: I6fd1f43d01d9cbe8056900a30678d1f400b45a5c
* gnu: trealla: Update to 2.56.1.jgart2024-09-301-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.1. Change-Id: Ifca36ba3ae5d2c7e55dd10592edbd15619e5298f
* gnu: trealla: Update to 2.56.0.jgart2024-09-281-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.56.0. Change-Id: Ib77a74484ff33e4be0c9641f423abd5e24ec083e
* gnu: trealla: Update to 2.55.44.jgart2024-09-261-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.44. Change-Id: Iab05e055828d98a72ac46d4bc4d84b82b3cb8ca6
* gnu: trealla: Update to 2.55.43.jgart2024-09-251-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.43. Change-Id: I576705752147313460ddd6e712574165802a2919
* gnu: trealla: Update to 2.55.42.jgart2024-09-221-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.42. Change-Id: Ie6eb7dd737e4fc09793f59e228e076a967d0cdf5
* gnu: trealla: Update to 2.55.41.jgart2024-09-211-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.41. Change-Id: I401d1b21d8b72d716be7d2b9093a77390106d13b
* gnu: trealla: Update to 2.55.40.jgart2024-09-161-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.40. Change-Id: Ib054f7d4395fcbed92dbeec6d46eba4dfc655c32
* gnu: trealla: Update to 2.55.39.jgart2024-09-161-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.39. Change-Id: Ia129975edb2fd06bef1234c7b7a1257d1b2eca2d
* gnu: trealla: Update to 2.55.38.jgart2024-09-161-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.38. Change-Id: I4a9eb499cb3ba0c5ceebe0b6860084f0c24e28c5
* gnu: trealla: Patch package version string in build step.jgart2024-09-161-0/+5
| | | | | | * gnu/packages/prolog.scm (trealla) [arguments]: Patch version. Change-Id: Ia9428a54e3d51deaf066a91674ff9f9eeadc5a20
* gnu: trealla: Update to 2.55.37.jgart2024-09-151-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.37. Change-Id: I708de06864f3c7feb541135bfacd3a265b2d1f43
* gnu: trealla: Update to 2.55.36.jgart2024-09-151-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.36. Change-Id: I977f129ff4d634e823b503e2b7c94cdb04845651
* gnu: trealla: Update to 2.55.35.jgart2024-09-061-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.35. Change-Id: Ibdc23c3f443d55a4e2f8c256531b64a97fc42c2f
* gnu: trealla: Update to 2.55.34.jgart2024-09-061-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.34. Change-Id: Ida254b8f5877291cbcf8ac6ccb5e45a2f6d79a7f
* gnu: trealla: Update to 2.55.33.jgart2024-09-051-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.33. Change-Id: I56d95f72211c24ec7442c8d0fed31b3d181c79b3
* gnu: trealla: Update to 2.55.32.jgart2024-09-031-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.32. Change-Id: I210d8c7c89b58c8308073fced54765382f0463e5
* gnu: trealla: Update to 2.55.31.jgart2024-09-031-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.31. Change-Id: I7770279cddfd863548fb7f3a5f994412e486d326
* gnu: trealla: Update to 2.55.30.jgart2024-09-031-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.30. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
* gnu: trealla: Update to 2.55.29.jgart2024-09-031-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.29. Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
* gnu: trealla: Update to 2.55.28.jgart2024-09-021-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.28. Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b
* gnu: trealla: Update to 2.55.27.jgart2024-09-021-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.27. Change-Id: Ia024c6a77b617580991771467aa24666691b9f15
* gnu: swi-prolog: Add libxcrypt dependency.宋文武2024-08-311-0/+2
| | | | | | * gnu/packages/prolog.scm (swi-prolog)[inputs]: Add libxcrypt. Change-Id: Id24dda144b28d504c01a08f8e20228ebb6122c4f
* gnu: trealla: Update to 2.55.26.jgart2024-08-261-2/+2
| | | | | | * gnu/packages/prolog.scm (trealla): Update to 2.55.26. Change-Id: I2a2652d2415d007fabf8974212cd35686336905f