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 |
|
jgart
|
8741d34d3d
|
gnu: trealla: Update to 2.55.14.
* gnu/packages/prolog.scm (trealla): Update to 2.55.14.
Change-Id: I796a466590d9667934e610614611c8933ea2fdca
|
2024-08-01 20:02:56 -05:00 |
|
jgart
|
2b4e3c9847
|
gnu: trealla: Update to 2.55.13.
* gnu/packages/prolog.scm (trealla): Update to 2.55.13.
Change-Id: I32f7c67667250e6972772a5d4bbffbd585d30796
|
2024-08-01 11:48:22 -05:00 |
|
jgart
|
01d4363168
|
gnu: trealla: Update to 2.55.12.
* gnu/packages/prolog.scm (trealla): Update to 2.55.12.
Change-Id: I4a58b72bec88d95e5953390ecf6d558d2534b9de
|
2024-07-31 00:56:49 -05:00 |
|
jgart
|
b4657c1cea
|
gnu: trealla: Update to 2.55.11.
* gnu/packages/prolog.scm (trealla): Update to 2.55.11.
Change-Id: I0254cde4f5b72d39196d92d06839001eb54e68cf
|
2024-07-31 00:39:49 -05:00 |
|
jgart
|
c6ff1d6ff7
|
gnu: trealla: Update to 2.55.10.
* gnu/packages/prolog.scm (trealla): Update to 2.55.10.
Change-Id: I2545a6d3ac5bf740c4ceb9e8bcd33d60707e67b9
|
2024-07-26 18:28:07 -05:00 |
|
jgart
|
a4a66187e6
|
gnu: trealla: Update to 2.55.9.
* gnu/packages/prolog.scm (trealla): Update to 2.55.9.
Change-Id: I29b5500da8e6acc382397662d4c44cf1c6e1fdf9
|
2024-07-26 18:28:06 -05:00 |
|
jgart
|
4f201dfa3f
|
gnu: trealla: Update to 2.55.8.
* gnu/packages/prolog.scm (trealla): Update to 2.55.8.
Change-Id: Ia938a79d35948d56a97a8933b312916f264c31b7
|
2024-07-26 18:28:06 -05:00 |
|
jgart
|
119d658d75
|
gnu: trealla: Update to 2.55.7.
* gnu/packages/prolog.scm (trealla): Update to 2.55.7.
Change-Id: I6f954cfa3bcf8c6b34ee2f4ca902f3b7ef1f5b38
|
2024-07-25 17:11:38 -05:00 |
|
jgart
|
17ea7dc50f
|
gnu: trealla: Update to 2.55.6.
* gnu/packages/prolog.scm (trealla): Update to 2.55.6.
Change-Id: I258ebe918fb71876fbdda7277d468f863633ef3b
|
2024-07-25 16:35:43 -05:00 |
|
jgart
|
a41ed4b10a
|
gnu: trealla: Update to 2.55.5.
* gnu/packages/prolog.scm (trealla): Update to 2.55.5.
Change-Id: Ib9c4da341b4af4cb5ee8d72af4d51b5ecad26be6
|
2024-07-24 21:46:07 -05:00 |
|
jgart
|
01031d33b2
|
gnu: trealla: Update to 2.55.4.
* gnu/packages/prolog.scm (trealla): Update to 2.55.4.
Change-Id: I6e684cf6ddd03d05910a8de6719fad767105a5c1
|
2024-07-24 21:46:07 -05:00 |
|
jgart
|
ca21243648
|
gnu: trealla: Update to 2.55.3.
* gnu/packages/prolog.scm (trealla): Update to 2.55.3.
Change-Id: Idf943e2bfc9213ed2bac51cb73d087a64a7b7eec
|
2024-07-24 21:46:07 -05:00 |
|
jgart
|
2375551ec8
|
gnu: trealla: Update to 2.55.2.
* gnu/packages/prolog.scm (trealla): Update to 2.55.2.
Change-Id: I61d057db57efc30f3a957d1345f86d7b8857965f
|
2024-07-24 21:46:07 -05:00 |
|
jgart
|
9befcfe6fb
|
gnu: trealla: Update to 2.55.1.
* gnu/packages/prolog.scm (trealla): Update to 2.55.1.
Change-Id: Ib3888d69aa7fa38c03d171a624500ed28098f031
|
2024-07-24 21:46:07 -05:00 |
|
jgart
|
976884dea1
|
gnu: trealla: Update to 2.55.0.
* gnu/packages/prolog.scm (trealla): Update to 2.55.0.
Change-Id: Ie3bdd311afae7e975ce495594a35ac20a708bb09
|
2024-07-24 21:46:06 -05:00 |
|
jgart
|
77f86bf0f2
|
gnu: trealla: Update to 2.54.6.
* gnu/packages/prolog.scm (trealla): Update to 2.54.6.
Change-Id: I665c518f29bd6df3c9556209453a8638e471a197
|
2024-07-24 21:46:06 -05:00 |
|
jgart
|
c2ba8b9e66
|
gnu: trealla: Update to 2.54.5.
* gnu/packages/prolog.scm (trealla): Update to 2.54.5.
Change-Id: Ie0495ddcc1f82298cb4be9adec6dc92e7b0fa175
|
2024-07-18 10:26:07 -05:00 |
|
jgart
|
c1d367f57e
|
gnu: trealla: Update to 2.54.3.
* gnu/packages/prolog.scm (trealla): Update to 2.54.3.
Change-Id: Iacaca2720ae4a457c570ebcd13be0260c81aa691
|
2024-07-13 10:38:45 -05:00 |
|
jgart
|
0663668507
|
gnu: trealla: Update to 2.53.48.
* gnu/packages/prolog.scm (trealla): Update to 2.53.48.
Change-Id: I2544e65003880fa5ec6d70a8ba814bb88722c3c9
|
2024-07-11 00:45:12 -05:00 |
|
jgart
|
fd35427b26
|
gnu: trealla: Update to 2.53.47.
* gnu/packages/prolog.scm (trealla): Update to 2.53.47.
Change-Id: Ide1766e92cc2ee0ec435f02db11bcd4c73fc3642
|
2024-07-09 13:33:54 -05:00 |
|
jgart
|
41cb417298
|
gnu: trealla: Update to 2.53.37.
* gnu/packages/prolog.scm (trealla): Update to 2.53.37.
Change-Id: Iea845c85fc4397223a3ed783ab4492928fd9473b
Signed-off-by: jgart <jgart@dismail.de>
|
2024-07-05 17:18:26 -05:00 |
|