jgart
|
89206987b4
|
gnu: trealla: Update to 2.73.4.
* gnu/packages/prolog.scm (trealla): Update to 2.73.4.
Change-Id: Ic4c3d10ad08f46c15557088ecd94d12d24d8343c
|
2025-06-11 20:34:43 -05:00 |
|
B. Wilson
|
cb8727f593
|
gnu: swi-prolog: Use shell from our inputs at runtime.
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Set POSIX_SHELL build
variable.
Closes: #119
Change-Id: Icf7464bc48e8cd6b89da44fbf13cff3fe8933a24
Signed-off-by: 宋文武 <iyzsong@member.fsf.org>
|
2025-06-08 10:57:30 +08:00 |
|
jgart
|
ce78c0489b
|
gnu: trealla: Update to 2.73.3.
* gnu/packages/prolog.scm (trealla): Update to 2.73.3.
Change-Id: Id036c5ae937413dcc88c72dc3e7da448121363f9
|
2025-06-07 15:02:32 -05:00 |
|
jgart
|
cd385f04bc
|
gnu: trealla: Update to 2.73.1.
* gnu/packages/prolog.scm (trealla): Update to 2.73.1.
Change-Id: I8fa410cd75b1c1722b737f08dc740280c04d1e4f
|
2025-06-06 13:12:19 -05:00 |
|
jgart
|
46402c383f
|
gnu: trealla: Update to 2.71.33.
* gnu/packages/prolog.scm (trealla): Update to 2.71.33.
Change-Id: Ib9b6d76a58759274cc614e1614f0535cfbc42f31
|
2025-05-24 20:19:33 -05:00 |
|
jgart
|
cdb2af7c3a
|
gnu: trealla: Update to 2.71.31.
* gnu/packages/prolog.scm (trealla): Update to 2.71.31.
Change-Id: I87a710ef3fafd05d4c15d1cb0e23364ca26429ca
|
2025-05-23 15:34:48 -05:00 |
|
jgart
|
ff5e0455ee
|
gnu: trealla: Update to 2.71.29.
* gnu/packages/prolog.scm (trealla): Update to 2.71.29.
Change-Id: Ie5dc3656278eb83896156d0aabbcfd115ad72452
|
2025-05-22 12:51:07 -05:00 |
|
jgart
|
471fc515c8
|
gnu: trealla: Update to 2.71.28.
* gnu/packages/prolog.scm (trealla): Update to 2.71.28.
Change-Id: I14f6469c2bd37a5fce2cefe7599ac2e5e5e23924
|
2025-05-21 15:14:32 -05:00 |
|
jgart
|
b51bb28993
|
gnu: trealla: Update to 2.71.24.
* gnu/packages/prolog.scm (trealla): Update to 2.71.24.
Change-Id: I2cd133c08f9ff4a54b11db3b3d098096ce4d2872
|
2025-05-20 10:05:24 -05:00 |
|
jgart
|
1d05ddac35
|
gnu: trealla: Update to 2.71.21.
* gnu/packages/prolog.scm (trealla): Update to 2.71.21.
Change-Id: I45259ccf3452e85ec3bd336f312b65241129a766
|
2025-05-19 15:24:19 -05:00 |
|
Greg Hogan
|
56f940e72f
|
gnu: Rename valgrind-next to valgrind.
* gnu/packages/valgrind.scm (valgrind/pinned): Make public.
(valgrind): Delete.
(valgrind-next): Rename to valgrind.
(valgrind/interactive): Inherit from valgrind.
* gnu/packages/audio.scm (codec2),
* gnu/packages/bootloaders.scm (dtc),
* gnu/packages/chromium.scm (ungoogled-chromium),
* gnu/packages/crates-io.scm (rust-crabgrind-0.1),
* gnu/packages/crates-tls.scm (rust-rustls-pki-types-1),
* gnu/packages/file-systems.scm (bindfs),
* gnu/packages/gnome.scm (libratbag, gnome-software),
* gnu/packages/high-availability.scm (pacemaker),
* gnu/packages/linux.scm (multipath-tools),
* gnu/packages/machine-learning.scm (python-pytorch),
* gnu/packages/mpi.scm (openmpi-4),
* gnu/packages/music.scm (stargate),
* gnu/packages/perl-check.scm (perl-test-runvalgrind),
* gnu/packages/prolog.scm (trealla),
* gnu/packages/qt.scm (qtwebengine-5, qt-creator),
* gnu/packages/robotics.scm (aseba),
* gnu/packages/ruby.scm (ruby-ruby-memcheck),
* gnu/packages/spreadsheet.scm (sc-im),
* gnu/packages/web.scm (jq): Rename valgrind to valgrind/pinned.
Change-Id: I9dec25abce643ef6d815a2cc50414c4f65f1e8d3
|
2025-05-13 16:35:39 +00:00 |
|
jgart
|
8a86f221d4
|
gnu: trealla: Update to 2.71.4.
* gnu/packages/prolog.scm (trealla): Update to 2.71.4.
Change-Id: Id9cbc43050b25c0bd9259ca58d5a7a742026af2d
|
2025-05-12 22:44:17 -05:00 |
|
jgart
|
658dc3ff5e
|
gnu: trealla: Update to 2.71.2.
* gnu/packages/prolog.scm (trealla): Update to 2.71.2.
Change-Id: I0ee4578686a8a9f9a6f3349752e577c14958d136
|
2025-05-06 21:11:21 -05:00 |
|
jgart
|
5b56e84f77
|
gnu: trealla: Update to 2.71.0.
* gnu/packages/prolog.scm (trealla): Update to 2.71.0.
Change-Id: I053d5feb1c12df63207bce65c5d7fab40a662e3c
|
2025-05-06 11:52:49 -05:00 |
|
jgart
|
ce37c47492
|
gnu: trealla: Update to 2.70.4.
* gnu/packages/prolog.scm (trealla): Update to 2.70.4.
Change-Id: Ib30d3cd9d4f3fed089184bc8202fba3997cf57b7
|
2025-05-05 16:14:38 -05:00 |
|
jgart
|
63088c295d
|
gnu: trealla: Update to 2.70.3.
* gnu/packages/prolog.scm (trealla): Update to 2.70.3.
Change-Id: Iea8a9a982833384233590fc5874940418cb64fa1
|
2025-05-05 01:47:48 -05:00 |
|
jgart
|
c2c4bc8758
|
gnu: trealla: Update to 2.69.12.
* gnu/packages/prolog.scm (trealla): Update to 2.69.12.
Change-Id: I525a7a9ed6e1f3aca56063810202bb455a343a3c
|
2025-05-04 13:39:34 -05:00 |
|
jgart
|
9884b1358a
|
gnu: trealla: Update to 2.69.10.
* gnu/packages/prolog.scm (trealla): Update to 2.69.10.
Change-Id: I5d6eb8f08b62604d25074687c9ee68535c7901c9
|
2025-05-02 16:21:30 -05:00 |
|
jgart
|
ad2340503b
|
gnu: trealla: Update to 2.69.9.
* gnu/packages/prolog.scm (trealla): Update to 2.69.9.
Change-Id: I4cca4a7b5d895bdaf7550068da204195c826fd7e
|
2025-05-01 09:23:32 -05:00 |
|
jgart
|
9cf8afc8d4
|
gnu: trealla: Update to 2.69.8.
* gnu/packages/prolog.scm (trealla): Update to 2.69.8.
Change-Id: Ide09f69c8441c0b1a300da90949421b43041c0b4
|
2025-04-30 07:29:17 -05:00 |
|
jgart
|
499a8374ca
|
gnu: trealla: Update to 2.69.7.
* gnu/packages/prolog.scm (trealla): Update to 2.69.7.
Change-Id: I226b29cc2c887067febbe24ed9f9927c29c89d35
|
2025-04-29 11:56:10 -05:00 |
|
jgart
|
3222cc3f03
|
gnu: trealla: Update to 2.69.4.
* gnu/packages/prolog.scm (trealla): Update to 2.69.4.
Change-Id: If6f09800d8dc067a07e04609cb10b4c0dcbb6061
|
2025-04-28 11:59:32 -05:00 |
|
jgart
|
7ff20b9e94
|
gnu: trealla: Update to 2.69.1.
* gnu/packages/prolog.scm (trealla): Update to 2.69.1.
Change-Id: Ibeaf798bc0096744bec99e810ed9b4e476022ae8
|
2025-04-25 16:34:51 -05:00 |
|
jgart
|
9fbe19661f
|
gnu: trealla: Update to 2.68.24.
* gnu/packages/prolog.scm (trealla): Update to 2.68.24.
Change-Id: I8666cefaf891ce5ff721b87b6c2b10e3d5e2fc4c
|
2025-04-22 14:15:55 -05:00 |
|
jgart
|
e16c9332df
|
gnu: trealla: Update to 2.68.16.
* gnu/packages/prolog.scm (trealla): Update to 2.68.16.
Change-Id: I19cd84e85337b01d03decfb03910dd1447a80d60
|
2025-04-20 20:49:56 -05:00 |
|
jgart
|
0697742498
|
gnu: trealla: Update to 2.68.11.
* gnu/packages/prolog.scm (trealla): Update to 2.68.11.
Change-Id: I86259c9f594923fba203eaaea20d834d0c3a1607
|
2025-04-12 11:20:00 -05:00 |
|
jgart
|
f7c41ab31f
|
gnu: trealla: Update to 2.68.10.
* gnu/packages/prolog.scm (trealla): Update to 2.68.10.
Change-Id: I46bffff159a9654ea657d80e00c682db6449fcf2
|
2025-04-10 11:22:32 -05:00 |
|
jgart
|
224d7732c1
|
gnu: trealla: Update to 2.68.8.
* gnu/packages/prolog.scm (trealla): Update to 2.68.8.
Change-Id: I8f991c88dd6a1c7b2cb8178337c0251100af2eb0
|
2025-04-09 15:16:21 -05:00 |
|
jgart
|
b413d1ea6a
|
gnu: trealla: Update to 2.68.4.
* gnu/packages/prolog.scm (trealla): Update to 2.68.4.
Change-Id: Ie2613fb111658c764922771d12694065d3c3842b
|
2025-04-08 13:54:59 -05:00 |
|
jgart
|
73560771d7
|
gnu: trealla: Update to 2.67.27.
* gnu/packages/prolog.scm (trealla): Update to 2.67.27.
Change-Id: Ie386066645233796eaec343c011b5e8dcfd70e56
|
2025-04-07 12:08:48 -05:00 |
|
jgart
|
e0ed879241
|
gnu: trealla: Update to 2.67.18.
* gnu/packages/prolog.scm (trealla): Update to 2.67.18.
Change-Id: I7241e2071ce651a70b6b9dd04f21554ca3689816
|
2025-04-02 22:27:03 -05:00 |
|
jgart
|
751bf10e07
|
gnu: trealla: Update to 2.67.15.
* gnu/packages/prolog.scm (trealla): Update to 2.67.15.
Change-Id: I0bf145520472c28d93422ab1a7c09523ef130813
|
2025-04-02 00:38:23 -05:00 |
|
jgart
|
bcd207005c
|
gnu: trealla: Update to 2.67.14.
* gnu/packages/prolog.scm (trealla): Update to 2.67.14.
Change-Id: I8f96b90b0ccc25f5c06782044a3216df2180b447
|
2025-04-01 01:32:38 -05:00 |
|
jgart
|
4863073856
|
gnu: trealla: Update to 2.67.13.
* gnu/packages/prolog.scm (trealla): Update to 2.67.13.
Change-Id: I4e633a69e3ca961340e9a49058773ec374b3c380
|
2025-03-31 09:59:38 -05:00 |
|
jgart
|
70cc00f4a9
|
gnu: trealla: Update to 2.66.0.
* gnu/packages/prolog.scm (trealla): Update to 2.66.0.
Change-Id: Ie8a426233fec9ee5e31960fca4bdd53ed3cb0d19
|
2025-03-22 17:16:04 -05:00 |
|
jgart
|
a79a6a6e00
|
gnu: trealla: Update to 2.65.26.
* gnu/packages/prolog.scm (trealla): Update to 2.65.26.
Change-Id: I4e026c6b7c30079436182cba4e54f504eeb5cb66
|
2025-03-21 13:30:03 -05:00 |
|
jgart
|
75649ed2fe
|
gnu: trealla: Update to 2.65.22.
* gnu/packages/prolog.scm (trealla): Update to 2.65.22.
Change-Id: I31877b066b297da26ff0c9b24e0a8c700f01bd7f
|
2025-03-19 15:06:32 -05:00 |
|
jgart
|
e016ee2950
|
gnu: trealla: Update to 2.65.21.
* gnu/packages/prolog.scm (trealla): Update to 2.65.21.
Change-Id: If5d5d9cd711c5192add21b923dfa05b1afc74181
|
2025-03-17 12:57:40 -05:00 |
|
jgart
|
be1e7594e5
|
gnu: trealla: Update to 2.65.0.
* gnu/packages/prolog.scm (trealla): Update to 2.65.0.
Change-Id: I194de079c044cff9b49707a37e5c27faf046f9e1
|
2025-03-12 18:29:50 -05:00 |
|
jgart
|
ed975f64a3
|
gnu: trealla: Update to 2.64.7.
* gnu/packages/prolog.scm (trealla): Update to 2.64.7.
Change-Id: Ib1884f39a3a098a851cc0e1eefbe3606bd16c0b2
|
2025-03-11 19:30:14 -05:00 |
|
jgart
|
e1c81df2cf
|
gnu: trealla: Update to 2.64.4.
* gnu/packages/prolog.scm (trealla): Update to 2.64.4.
Change-Id: Iff0ab2a309aaeb704ddfc1e71a5381e30640de9b
|
2025-03-07 00:00:59 -06:00 |
|
jgart
|
f3064b765a
|
gnu: trealla: Update to 2.64.3.
* gnu/packages/prolog.scm (trealla): Update to 2.64.3.
Change-Id: Iba818c9402a16be0b285671dfd5b234184adb011
|
2025-03-03 09:30:47 -06:00 |
|
jgart
|
a76708a872
|
gnu: trealla: Update to 2.64.0.
* gnu/packages/prolog.scm (trealla): Update to 2.64.0.
Change-Id: Idcc527e7b832f15c1f2e502f08f8f369385d1de7
|
2025-02-27 22:52:28 -06:00 |
|
jgart
|
27ae140024
|
gnu: trealla: Update to 2.63.40.
* gnu/packages/prolog.scm (trealla): Update to 2.63.40.
Change-Id: I36275ec00fc4cff6fffcfcdaca2a5a31cbb3708e
|
2025-02-18 19:39:30 -06:00 |
|
jgart
|
fc29a71937
|
gnu: trealla: Update to 2.63.39.
* gnu/packages/prolog.scm (trealla): Update to 2.63.39.
Change-Id: Ibd94dfe5d6b6e7a8efb0195128fc7e349195c96f
|
2025-02-17 16:10:55 -06:00 |
|
jgart
|
b2cc25fede
|
gnu: trealla: Update to 2.63.35.
* gnu/packages/prolog.scm (trealla): Update to 2.63.35.
Change-Id: Id0dc4d6a79f41b92612e1a5bb7d8b9088d410ea4
|
2025-02-12 18:44:34 -06:00 |
|
jgart
|
c9a990d7b0
|
gnu: trealla: Update to 2.63.33.
* gnu/packages/prolog.scm (trealla): Update to 2.63.33.
Change-Id: Ifa0d3125f4bd8e11451d26fc37e7062c32cec5c2
|
2025-01-24 17:43:46 -06:00 |
|
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 |
|