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 |
|
jgart
|
9640f4a01a
|
gnu: trealla: Update to 2.55.24.
* gnu/packages/prolog.scm (trealla): Update to 2.55.24.
Change-Id: I0e94ef0b863f137d63bd36e13212d64263f496d4
|
2024-08-25 09:08:39 -05:00 |
|
jgart
|
f25ea6847f
|
gnu: trealla: Update to 2.55.23.
* gnu/packages/prolog.scm (trealla): Update to 2.55.23.
Change-Id: I0145f8066ceec5cacb4124fa865dd8efa24a5fc8
|
2024-08-24 10:40:33 -05:00 |
|
jgart
|
41db573403
|
gnu: trealla: Update to 2.55.22.
* gnu/packages/prolog.scm (trealla): Update to 2.55.22.
Change-Id: Iaf62bacbd0eb0278e2a6672833891dacf6f2255b
|
2024-08-16 02:38:06 -05:00 |
|
jgart
|
030fad23b4
|
gnu: trealla: Update to 2.55.21.
* gnu/packages/prolog.scm (trealla): Update to 2.55.21.
Change-Id: Ie866bf4b9a50944e5026594ca72405a3af2bc7f2
|
2024-08-14 10:33:33 -05:00 |
|
jgart
|
c5d208d5d5
|
gnu: trealla: Update to 2.55.20.
* gnu/packages/prolog.scm (trealla): Update to 2.55.20.
Change-Id: I4e9fa627fc689bc4203fcb0770067b99bfebab13
|
2024-08-14 10:33:33 -05:00 |
|
jgart
|
2b7e2f4416
|
gnu: trealla: Update to 2.55.19.
* gnu/packages/prolog.scm (trealla): Update to 2.55.19.
Change-Id: I4f79c9e3f0e61fb5b708dfe77b25fd237ed24ab4
|
2024-08-12 12:20:01 -05:00 |
|
jgart
|
3f9538d97f
|
gnu: trealla: Update to 2.55.18.
* gnu/packages/prolog.scm (trealla): Update to 2.55.18.
Change-Id: I9e1e67ccc4920fe45e46a4918e73f9b5e4fc47c3
|
2024-08-12 12:18:10 -05:00 |
|
jgart
|
119cf2d548
|
gnu: trealla: Update to 2.55.17.
* gnu/packages/prolog.scm (trealla): Update to 2.55.17.
Change-Id: I0ab3a4714a2e34cd6e55583bd09ba71857f6461e
|
2024-08-12 11:59:55 -05:00 |
|
jgart
|
c94fab4432
|
gnu: trealla: Update to 2.55.16.
* gnu/packages/prolog.scm (trealla): Update to 2.55.16.
Change-Id: I0f21ef880b9b12d69cca0097583b731e4d4dd5f2
|
2024-08-12 11:35:02 -05:00 |
|
jgart
|
6689a96ce8
|
gnu: trealla: Update to 2.55.15.
* gnu/packages/prolog.scm (trealla): Update to 2.55.15.
Change-Id: Iaacdf45670a8db4180d1a426ea9292b451dece8b
|
2024-08-05 16:30:34 -05:00 |
|
jgart
|
b20956651a
|
gnu: swi-prolog: Update to 9.3.8.
* gnu/packages/prolog.scm (swi-prolog): Update to 9.3.8.
Change-Id: Ic922c60db9f686c639ec280996d257ccbf63082a
|
2024-08-01 20:21:27 -05:00 |
|