jgart
|
253c7c309a
|
gnu: trealla: Update to 2.63.32.
* gnu/packages/prolog.scm (trealla): Update to 2.63.32.
Change-Id: Ie03bcb4ce891e12b7a6bcc5d8423d37b1998c6a7
|
2025-01-23 12:10:29 -06:00 |
|
jgart
|
4241a5a468
|
gnu: trealla: Update to 2.63.29.
* gnu/packages/prolog.scm (trealla): Update to 2.63.29.
Change-Id: Ifa1dcb6928ac193081de3d1a280dece32be4fdb6
|
2025-01-22 19:20:15 -06:00 |
|
jgart
|
cc413e46f5
|
gnu: trealla: Update to 2.63.27.
* gnu/packages/prolog.scm (trealla): Update to 2.63.27.
Change-Id: Ib0419751933feab465e1dce11c613c5dff34741b
|
2025-01-21 22:46:46 -06:00 |
|
jgart
|
91b18baa42
|
gnu: trealla: Update to 2.63.25.
* gnu/packages/prolog.scm (trealla): Update to 2.63.25.
Change-Id: I9d9bd51ee180a4952a1da419df52cb25ff68f50a
|
2025-01-20 14:02:40 -06:00 |
|
jgart
|
c985075db3
|
gnu: trealla: Update to 2.63.22.
* gnu/packages/prolog.scm (trealla): Update to 2.63.22.
Change-Id: Idb43ee5daf59035f582b70c0b4b3617be0a1363d
|
2025-01-19 21:55:22 -06:00 |
|
jgart
|
ff4d0a129d
|
gnu: trealla: Update to 2.63.17.
* gnu/packages/prolog.scm (trealla): Update to 2.63.17.
Change-Id: I01e3e93d5eb3c69d9ee2642be4f5b6f8ada7ff16
|
2025-01-16 22:03:04 -06:00 |
|
jgart
|
7ba52cb34b
|
gnu: trealla: Update to 2.63.15.
* gnu/packages/prolog.scm (trealla): Update to 2.63.15.
Change-Id: I8867f8fc0279ab1cdcab08641aebf8f44e217539
|
2025-01-14 16:27:12 -06:00 |
|
jgart
|
395bd78fd0
|
gnu: trealla: Update to 2.63.12.
* gnu/packages/prolog.scm (trealla): Update to 2.63.12.
Change-Id: I522595164a94ae3fc6e8a8c9625934cc4e929cb8
|
2025-01-08 22:09:00 -06:00 |
|
jgart
|
59df73256c
|
gnu: trealla: Update to 2.63.11.
* gnu/packages/prolog.scm (trealla): Update to 2.63.11.
Change-Id: I2bd879863a8f705846c0a0a6d08f64fc63cc8f4c
|
2025-01-05 15:06:42 -06:00 |
|
jgart
|
f3f3cb06b0
|
gnu: trealla: Update to 2.63.10.
* gnu/packages/prolog.scm (trealla): Update to 2.63.10.
Change-Id: I5a31956117ce6b1336e701be7cf90ca21362417b
|
2024-12-26 19:36:07 -06:00 |
|
jgart
|
42ba1aa8b3
|
gnu: trealla: Update to 2.63.9.
* gnu/packages/prolog.scm (trealla): Update to 2.63.9.
Change-Id: I42fa6fa24b5b145774c514f3e5cad0cd3c3e77d2
|
2024-12-20 18:07:07 -06:00 |
|
jgart
|
18ba58a107
|
gnu: trealla: Update to 2.58.0.
* gnu/packages/prolog.scm (trealla): Update to 2.58.0.
Change-Id: Ibd2a982389a07c07523fa3a787f06e2013adcdfc
|
2024-10-28 00:24:08 -05:00 |
|
jgart
|
0a49010e3c
|
gnu: trealla: Update to 2.57.25.
* gnu/packages/prolog.scm (trealla): Update to 2.57.25.
Change-Id: I6779078c3d439d11b6a34d42d1dae467a0764186
|
2024-10-23 18:16:51 -05:00 |
|
jgart
|
2b2b6a7675
|
gnu: trealla: Update to 2.56.14.
* gnu/packages/prolog.scm (trealla): Update to 2.56.14.
Change-Id: I8c3ccb53eddf7e3156fcbab5772d024bd3fc46d7
|
2024-10-22 16:56:18 -05:00 |
|
jgart
|
802ac190f7
|
gnu: trealla: Update to 2.56.13.
* gnu/packages/prolog.scm (trealla): Update to 2.56.13.
Change-Id: Id977e4c58398747ce9a1bfffa97837e29eab66cf
|
2024-10-20 01:12:54 -05:00 |
|
jgart
|
91dd354a10
|
gnu: trealla: Update to 2.56.12.
* gnu/packages/prolog.scm (trealla): Update to 2.56.12.
Change-Id: Id19362edf9daaae100ef8a45e0ccac7f72c695a7
|
2024-10-17 00:14:21 -05:00 |
|
jgart
|
f8a7bfd28c
|
gnu: trealla: Update to 2.56.11.
* gnu/packages/prolog.scm (trealla): Update to 2.56.11.
Change-Id: I685534168f022d06c88d722b97a6642f6ed41d59
|
2024-10-13 21:38:30 -05:00 |
|
jgart
|
00dc16da54
|
gnu: trealla: Update to 2.56.10.
* gnu/packages/prolog.scm (trealla): Update to 2.56.10.
Change-Id: I7f1d0dc7ceb55f91e1fe8679f17f79f21ca43a56
|
2024-10-11 11:21:36 -05:00 |
|
jgart
|
ba495737b3
|
gnu: trealla: Update to 2.56.9.
* gnu/packages/prolog.scm (trealla): Update to 2.56.9.
Change-Id: I65c694f2d459ccc3fefd41b442e1657717b5d7bf
|
2024-10-10 21:02:31 -05:00 |
|
jgart
|
8a70f72763
|
gnu: trealla: Update to 2.56.8.
* gnu/packages/prolog.scm (trealla): Update to 2.56.8.
Change-Id: I86da853a4f40452959e0846b98273a83fed36d98
|
2024-10-10 07:38:41 -05:00 |
|
jgart
|
6cbd42d318
|
gnu: trealla: Update to 2.56.7.
* gnu/packages/prolog.scm (trealla): Update to 2.56.7.
Change-Id: I4392418566f7a633998055854dc6127c9f2e3da2
|
2024-10-08 20:20:41 -05:00 |
|
jgart
|
b688084584
|
gnu: trealla: Update to 2.56.6.
* gnu/packages/prolog.scm (trealla): Update to 2.56.6.
Change-Id: Ib85d2e009db753b288813ea66c3ace2dff80e95b
|
2024-10-08 14:56:13 -05:00 |
|
jgart
|
c2e08bb8e1
|
gnu: trealla: Update to 2.56.5.
* gnu/packages/prolog.scm (trealla): Update to 2.56.5.
Change-Id: Id049cc8970761fdb202f94a17661854edd2d289c
|
2024-10-08 11:28:14 -05:00 |
|
jgart
|
1d40112b15
|
gnu: trealla: Update to 2.56.4.
* gnu/packages/prolog.scm (trealla): Update to 2.56.4.
Change-Id: I05180e4fdb9dc9a7595cd1b4d652aea9bf01f24e
|
2024-10-07 14:46:16 -05:00 |
|
jgart
|
25c8178a73
|
gnu: trealla: Update to 2.56.3.
* gnu/packages/prolog.scm (trealla): Update to 2.56.3.
Change-Id: If3ad35cf8556b8f16d9474ac412a3a0cecdce8b4
|
2024-10-02 15:22:47 -05:00 |
|
jgart
|
6da2deff73
|
gnu: trealla: Update to 2.56.2.
* gnu/packages/prolog.scm (trealla): Update to 2.56.2.
Change-Id: I6fd1f43d01d9cbe8056900a30678d1f400b45a5c
|
2024-10-01 08:45:27 -05:00 |
|
jgart
|
dd4340a910
|
gnu: trealla: Update to 2.56.1.
* gnu/packages/prolog.scm (trealla): Update to 2.56.1.
Change-Id: Ifca36ba3ae5d2c7e55dd10592edbd15619e5298f
|
2024-09-30 17:01:55 -05:00 |
|
jgart
|
427deffb5b
|
gnu: trealla: Update to 2.56.0.
* gnu/packages/prolog.scm (trealla): Update to 2.56.0.
Change-Id: Ib77a74484ff33e4be0c9641f423abd5e24ec083e
|
2024-09-28 13:58:48 -05:00 |
|
jgart
|
d7df503c5a
|
gnu: trealla: Update to 2.55.44.
* gnu/packages/prolog.scm (trealla): Update to 2.55.44.
Change-Id: Iab05e055828d98a72ac46d4bc4d84b82b3cb8ca6
|
2024-09-26 20:33:45 -05:00 |
|
jgart
|
17f94d360f
|
gnu: trealla: Update to 2.55.43.
* gnu/packages/prolog.scm (trealla): Update to 2.55.43.
Change-Id: I576705752147313460ddd6e712574165802a2919
|
2024-09-25 13:18:51 -05:00 |
|
jgart
|
81131cc64b
|
gnu: trealla: Update to 2.55.42.
* gnu/packages/prolog.scm (trealla): Update to 2.55.42.
Change-Id: Ie6eb7dd737e4fc09793f59e228e076a967d0cdf5
|
2024-09-22 20:37:32 -05:00 |
|
jgart
|
dfab637246
|
gnu: trealla: Update to 2.55.41.
* gnu/packages/prolog.scm (trealla): Update to 2.55.41.
Change-Id: I401d1b21d8b72d716be7d2b9093a77390106d13b
|
2024-09-21 11:11:59 -05:00 |
|
jgart
|
c0d4bd52ee
|
gnu: trealla: Update to 2.55.40.
* gnu/packages/prolog.scm (trealla): Update to 2.55.40.
Change-Id: Ib054f7d4395fcbed92dbeec6d46eba4dfc655c32
|
2024-09-16 02:02:35 -05:00 |
|
jgart
|
e1f6f05d64
|
gnu: trealla: Update to 2.55.39.
* gnu/packages/prolog.scm (trealla): Update to 2.55.39.
Change-Id: Ia129975edb2fd06bef1234c7b7a1257d1b2eca2d
|
2024-09-16 00:37:33 -05:00 |
|
jgart
|
91d068bc4d
|
gnu: trealla: Update to 2.55.38.
* gnu/packages/prolog.scm (trealla): Update to 2.55.38.
Change-Id: I4a9eb499cb3ba0c5ceebe0b6860084f0c24e28c5
|
2024-09-16 00:34:57 -05:00 |
|
jgart
|
00341f1ed0
|
gnu: trealla: Patch package version string in build step.
* gnu/packages/prolog.scm (trealla) [arguments]: Patch version.
Change-Id: Ia9428a54e3d51deaf066a91674ff9f9eeadc5a20
|
2024-09-16 00:08:06 -05:00 |
|
jgart
|
947a740270
|
gnu: trealla: Update to 2.55.37.
* gnu/packages/prolog.scm (trealla): Update to 2.55.37.
Change-Id: I708de06864f3c7feb541135bfacd3a265b2d1f43
|
2024-09-15 23:49:34 -05:00 |
|
jgart
|
e4d0fb3aa4
|
gnu: trealla: Update to 2.55.36.
* gnu/packages/prolog.scm (trealla): Update to 2.55.36.
Change-Id: I977f129ff4d634e823b503e2b7c94cdb04845651
|
2024-09-15 23:14:31 -05:00 |
|
jgart
|
0cadadad3b
|
gnu: trealla: Update to 2.55.35.
* gnu/packages/prolog.scm (trealla): Update to 2.55.35.
Change-Id: Ibdc23c3f443d55a4e2f8c256531b64a97fc42c2f
|
2024-09-06 12:53:19 -05:00 |
|
jgart
|
2cc5c836c5
|
gnu: trealla: Update to 2.55.34.
* gnu/packages/prolog.scm (trealla): Update to 2.55.34.
Change-Id: Ida254b8f5877291cbcf8ac6ccb5e45a2f6d79a7f
|
2024-09-06 12:53:18 -05:00 |
|
jgart
|
7109ac857a
|
gnu: trealla: Update to 2.55.33.
* gnu/packages/prolog.scm (trealla): Update to 2.55.33.
Change-Id: I56d95f72211c24ec7442c8d0fed31b3d181c79b3
|
2024-09-05 19:10:39 -05:00 |
|
jgart
|
959e74bd72
|
gnu: trealla: Update to 2.55.32.
* gnu/packages/prolog.scm (trealla): Update to 2.55.32.
Change-Id: I210d8c7c89b58c8308073fced54765382f0463e5
|
2024-09-03 06:55:46 -05:00 |
|
jgart
|
e400f36035
|
gnu: trealla: Update to 2.55.31.
* gnu/packages/prolog.scm (trealla): Update to 2.55.31.
Change-Id: I7770279cddfd863548fb7f3a5f994412e486d326
|
2024-09-03 06:55:46 -05:00 |
|
jgart
|
8c2a85725a
|
gnu: trealla: Update to 2.55.30.
* gnu/packages/prolog.scm (trealla): Update to 2.55.30.
Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
|
2024-09-03 06:55:46 -05:00 |
|
jgart
|
1d3731db22
|
gnu: trealla: Update to 2.55.29.
* gnu/packages/prolog.scm (trealla): Update to 2.55.29.
Change-Id: I1b395507c9011a5f7a518da72c9197b6d4727116
|
2024-09-03 06:55:46 -05:00 |
|
jgart
|
b833aaaee7
|
gnu: trealla: Update to 2.55.28.
* gnu/packages/prolog.scm (trealla): Update to 2.55.28.
Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b
|
2024-09-02 16:24:19 -05:00 |
|
jgart
|
a4cfac7d7b
|
gnu: trealla: Update to 2.55.27.
* gnu/packages/prolog.scm (trealla): Update to 2.55.27.
Change-Id: Ia024c6a77b617580991771467aa24666691b9f15
|
2024-09-02 16:13:51 -05:00 |
|
宋文武
|
bf3c3c4be4
|
gnu: swi-prolog: Add libxcrypt dependency.
* gnu/packages/prolog.scm (swi-prolog)[inputs]: Add libxcrypt.
Change-Id: Id24dda144b28d504c01a08f8e20228ebb6122c4f
|
2024-08-31 10:45:08 +02:00 |
|
jgart
|
4b011ee4ab
|
gnu: trealla: Update to 2.55.26.
* gnu/packages/prolog.scm (trealla): Update to 2.55.26.
Change-Id: I2a2652d2415d007fabf8974212cd35686336905f
|
2024-08-26 10:33:28 -05:00 |
|
jgart
|
714cbc84cf
|
gnu: trealla: Update to 2.55.25.
* gnu/packages/prolog.scm (trealla): Update to 2.55.25.
Change-Id: I3c00edc6292c9e351ff514d3ca835236aa6c1d7e
|
2024-08-26 10:33:28 -05:00 |
|