tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-24 19:21:24 +02:00
Code Activity
185,467 Commits 75 Branches 40 Tags
rust-team
Commit Graph

323 Commits

Author SHA1 Message Date
jgart
6d5a20bc05 gnu: trealla: Update to 2.92.38. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.38.

Change-Id: I841300c8b2c0f02cd432388c41b5f8690c3a8e02
 2026-04-18 19:14:27 -04:00
jgart
6690bf46c6 gnu: trealla: Update to 2.92.30. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.30.
[inputs]: Add libedit.

Change-Id: Ica510ab3eed3f79a5333dda8b5f2a460780467e7
 2026-04-14 19:16:11 -04:00
jgart
ba516ec82e gnu: trealla: Update to 2.92.29. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.29.

Change-Id: I6541b544b9b1b99b7f27d2861ccf4bc49d934f1d
 2026-04-12 07:13:12 -04:00
jgart
bda50e3411 gnu: trealla: Update to 2.92.25. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.25.

Change-Id: Idc712573cb14de9a320e74b64a1908d6c82552b0
 2026-04-11 18:42:15 -04:00
jgart
b50c3379a2 gnu: trealla: Update to 2.92.21. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.21.

Change-Id: I161f71e8a76af2afb8798bc187e3a4e853e7b107
 2026-04-10 10:08:50 -04:00
jgart
c38d9963f5 gnu: trealla: Update to 2.92.20. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.20.

Change-Id: I095a884534868e35c22b775688464287420b3d8a
 2026-04-09 08:47:47 -04:00
jgart
279b5ace0d gnu: trealla: Update to 2.92.19. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.19.

Change-Id: I7f8b75ce62a9bb6106c1b003c88a121c5ac97209
 2026-04-08 12:21:48 -04:00
jgart
7f849f7ba2 gnu: trealla: Update to 2.92.17. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.17.

Change-Id: Ia4514eb64228797f89d32d5b997264a23bed8bde
 2026-04-07 08:16:46 -04:00
jgart
955c617d5c gnu: trealla: Update to 2.92.16. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.16.

Change-Id: I0852c705b515ad128d892cbb76fbf877f438138d
 2026-04-06 09:27:01 -04:00
jgart
077ac25005 gnu: trealla: Update to 2.92.15. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.15.

Change-Id: I3cab11edc80aad42a35ee1c14a0e4cb15eca5b2c
 2026-04-03 12:33:56 -04:00
jgart
e433d6b91f gnu: trealla: Update to 2.92.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.12.

Change-Id: Ie7e47216189ea72529b86b26762a705f8300496d
 2026-04-02 16:05:36 -04:00
jgart
cc246c7e34 gnu: trealla: Update to 2.92.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.11.

Change-Id: I8c1336336c8bd9985c68722ad7e7ecafdfe78bb6
 2026-04-01 07:59:37 -04:00
jgart
bf590448eb gnu: trealla: Update to 2.92.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.7.

Change-Id: I60f1a1fed86b86c9d49d4e4dad90cc1961af80f1
 2026-03-29 10:08:34 -04:00
jgart
34683a7c42 gnu: trealla: Update to 2.92.6. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.6.

Change-Id: Ibf90764980593b0a72a42896a38e19600abaecab
 2026-03-28 17:03:08 -04:00
jgart
2cbaff2d19 gnu: trealla: Update to 2.92.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.3.

Change-Id: Ifcacb28facc0884919fbd5876e934f8d91784d35
 2026-03-27 10:19:31 -04:00
jgart
9703edce7f gnu: trealla: Update to 2.92.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.2.

Change-Id: Ibcf8a07b1cdd4e680855cef18b80233376d70039
 2026-03-26 08:06:27 -04:00
jgart
26ee8302c5 gnu: trealla: Update to 2.92.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.92.1.

Change-Id: Id092ad5e4adabe35132041be8f06065526ef07b2
 2026-03-23 10:26:18 -04:00
jgart
a9dc4b996f gnu: trealla: Update to 2.91.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.7.

Change-Id: I5b7f88c91d424ecaad32871405c75b49274e2770
 2026-03-18 19:47:21 -04:00
jgart
7db0b45720 gnu: trealla: Update to 2.91.5. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.5.

Change-Id: Ieb40be1e5466ae2480722f75d5edba4a02847ee7
 2026-03-13 13:16:36 -04:00
jgart
2336e40c51 gnu: trealla: Update to 2.91.4. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.4.

Change-Id: I0fe96f6a7d5308bbe6d7821d0fe061370f0fa10f
 2026-03-11 12:09:11 -04:00
jgart
937d04372c gnu: trealla: Update to 2.91.3. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.3.

Change-Id: I87ee8d10f7a35f6caeedff3917a9754aa6f380f7
 2026-03-08 11:51:42 -04:00
jgart
ac9a0bfcd6 gnu: trealla: Update to 2.91.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.1.

Change-Id: Ie67c3ad73b28ddac582447c35d4e0a721f8d6f66
 2026-03-03 09:34:49 -05:00
jgart
860f89ef46 gnu: trealla: Update to 2.91.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.91.0.

Change-Id: Iadca5f5512fdbf9b490052c2c5bacde282fcbc41
 2026-03-02 09:34:10 -05:00
jgart
b06efc730d gnu: trealla: Update to 2.90.41. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.41.

Change-Id: Ia75b866be4d56fd4224f482d91accf56d85e1f79
 2026-03-01 08:45:42 -05:00
jgart
3704c4937f gnu: trealla: Update to 2.90.40. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.40.

Change-Id: I88f04b68cb8e482f23917473b1fb29a8dff2311e
 2026-02-27 08:53:55 -05:00
jgart
c819b6c112 gnu: trealla: Update to 2.90.39. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.39.

Change-Id: If4beac7e384e930471202523053576ea9cbd01b5
 2026-02-25 12:47:58 -05:00
jgart
df71a3602e gnu: trealla: Update to 2.90.37. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.37.

Change-Id: I2ca3384b77090ef84449017813a663c0f8b2783c
 2026-02-23 10:33:29 -05:00
jgart
e7612f2fcd gnu: trealla: Update to 2.90.36. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.36.

Change-Id: I9df2d7ecda9aa62ef63b9bd89d99f4aa78d4d411
 2026-02-22 18:33:06 -05:00
jgart
aa72f75954 gnu: trealla: Update to 2.90.35. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.35.

Change-Id: I8963d12b28f44a8a4991eab390346af837eccff9
 2026-02-21 20:09:08 -05:00
jgart
df2931e822 gnu: trealla: Update to 2.90.33. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.33.

Change-Id: Ia988067ce430de371bc11f84940e669d8c52abac
 2026-02-20 15:11:03 -05:00
jgart
0c91ba3a1d gnu: trealla: Update to 2.90.31. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.31.

Change-Id: I713de5e3eb234b5c6dc5a4d6cf6c383ced06e03a
 2026-02-19 14:13:58 -05:00
jgart
0ce2e759b4 gnu: trealla: Update to 2.90.29. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.29.

Change-Id: I16f2859f69219ac17b92a93192acabf31cdc6a55
 2026-02-18 09:21:03 -05:00
jgart
effb271ea0 gnu: trealla: Update to 2.90.24. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.24.

Change-Id: I2e5383645d43b3a1c8c7bcd06ae42d6dd99266e2
 2026-02-17 09:42:12 -05:00
jgart
3fad9d1ade gnu: trealla: Update to 2.90.22. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.22.

Change-Id: Ifbc2c9533e9fa9d2cf090b47f4a50def51f8e1fa
 2026-02-16 15:22:57 -05:00
jgart
fe4f4dcfe1 gnu: trealla: Update to 2.90.21. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.21.

Change-Id: I83eda0123d58da558487d77c03b2417dc4deb28c
 2026-02-13 23:39:41 -05:00
jgart
875eb949e9 gnu: trealla: Update to 2.90.18. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.18.

Change-Id: I6cca15341aae6b029f8d37dafebfadf829de789b
 2026-02-12 23:12:40 -05:00
jgart
8d0cb60763 gnu: Add scryer-prolog. 
* gnu/packages/prolog.scm (scryer-prolog): New variable.

Co-authored-by: Mark Walker <mark.damon.walker@gmail.com>
Co-authored-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I4ffc9a7ebab39ae95d7c38b380737091d21afe53
 2026-02-12 22:25:31 -05:00
jgart
37366cca61 gnu: trealla: Update to 2.90.16. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.16.

Change-Id: I70f2c970b19fdb8367cba398747afe2ee91384a8
 2026-02-12 08:47:37 -05:00
jgart
9c8e6a9b11 gnu: trealla: Update to 2.90.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.11.

Change-Id: I0156dc0e1b30edf585722cf59e5a78468c975545
 2026-02-11 20:09:47 -05:00
jgart
36ac4f6ca3 gnu: trealla: Update to 2.90.9. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.9.

Change-Id: Iad240abd6aca819330815f89b437933eb9fab784
 2026-02-09 18:45:26 -05:00
jgart
bc94389997 gnu: trealla: Update to 2.90.8. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.8.

Change-Id: Ib708073a1b3558b5d3ff9e48bbaf1e168d2aeba2
 2026-02-09 16:48:22 -05:00
jgart
0c646ef2c2 gnu: trealla: Update to 2.90.2. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.2.

Change-Id: Icf520cc211c819ba640c1d0e861745dd8dff18c6
 2026-02-08 20:02:29 -05:00
jgart
b7a291a3c7 gnu: trealla: Update to 2.90.0. 
* gnu/packages/prolog.scm (trealla): Update to 2.90.0.

Change-Id: Iff40dfff0bc47f2fbfe8c3f11412b528f13d5440
 2026-02-07 09:58:26 -06:00
jgart
8da8357e5e gnu: trealla: Update to 2.89.13. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.13.

Change-Id: Ifc00985e074ab2bebc759c28eb143add7c706407
 2026-01-30 01:03:56 -05:00
jgart
05df277ebc gnu: trealla: Update to 2.89.12. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.12.

Change-Id: I0fd2fdfbbd3ebeb450d2294209ee49f4fe0d556b
 2026-01-29 10:39:14 -05:00
jgart
9e3feb052c gnu: trealla: Update to 2.89.11. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.11.

Change-Id: I11acd243b2638253c559c5fb3686dd5d1076fe5c
 2026-01-25 03:23:23 -05:00
jgart
4b9b2595e4 gnu: trealla: Update to 2.89.10. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.10.

Change-Id: Id50537fd703d94aa44065a6adbfe892a7ec89b0b
 2026-01-24 14:47:56 -05:00
jgart
08cfa507d1 gnu: trealla: Switch to running the standard tests. 
* gnu/packages/prolog.scm (trealla):  Switch to running the standard tests.
[native-inputs]: Delete it.
[arguments]: Adjust the test target to be test.

Running the valgrind memory checks is overkill for our purposes. Valgrind
should only be run in a local development workflow and not in our
CI. Switching to running the standard tests will also mimic what upstream runs
in their own CI for the Trealla project. Switching to running only the
standard tests also greatly reduces the time that it takes to run the full
Guix build for the trealla variable.

Change-Id: I912b85bfbe3fde03e6c0b98a47b2dbaa9b4b5d8a
 2026-01-23 13:21:17 -05:00
jgart
e4f565e886 gnu: trealla: Update to 2.89.7. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.7.

Change-Id: I6a4a6efbb0a59345174efb1b3cca4caedf24ffcb
 2026-01-22 14:01:45 -05:00
jgart
4e2de18be2 gnu: trealla: Update to 2.89.1. 
* gnu/packages/prolog.scm (trealla): Update to 2.89.1 and apply formatting.
[native-inputs]: Remove xxd.
[arguments]: Set PREFIX and HOST_CC environment variables.
Remove install phase.

This update also installs the newly created man page for Trealla.

Change-Id: I2fb8e67af2ca075d0dd863a45763fec1483966ae
 2026-01-21 12:43:55 -05:00