From b833aaaee7c95ec0339428a6b602f26831494798 Mon Sep 17 00:00:00 2001 From: jgart Date: Mon, 2 Sep 2024 16:24:10 -0500 Subject: gnu: trealla: Update to 2.55.28. * gnu/packages/prolog.scm (trealla): Update to 2.55.28. Change-Id: Ia67e13cbb233b72337f9b86a034c8bc7da3f012b --- gnu/packages/prolog.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu') diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index de87cf109f..2515072805 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -182,7 +182,7 @@ it.") (define-public trealla (package (name "trealla") - (version "2.55.27") + (version "2.55.28") (source (origin (method git-fetch) @@ -191,7 +191,7 @@ it.") (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 - (base32 "1i9bskm2hhjpkvcb4z11alwy9xkfq3bvasmdg4lawnbdsb15jc15")) + (base32 "0srgmqx290i84lwmcizqla8z4lmai1rpjrxfc5x95kd5crvh2pd2")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (native-inputs -- cgit v1.2.3 boutsummaryrefslogtreecommitdiff
path: root/gnu/tests/ssh.scm
AgeCommit message (Expand)Author
2019-05-09services: Log-in services now require "pam_loginuid"....Ludovic Courtès
2018-10-18services: dhcp-client: Deprecate 'dhcp-client-service' procedure....Ludovic Courtès
2018-06-13tests: Honor the return value of 'start-service'....Clément Lassieur
2018-06-01tests: ssh: Use 'with-extensions'....Ludovic Courtès
2017-11-01tests: ssh: Make sure we can run executables from PATH....Marius Bakke
2017-07-23Merge branch 'master' into core-updatesLeo Famulari
2017-07-20tests: Use 'virtual-machine' records instead of monadic procedures....Ludovic Courtès
2017-07-18tests: ssh: Use 'guile-ssh'....Ludovic Courtès
2017-06-12marionette: Factorize 'wait-for-file'....Ludovic Courtès
2017-05-21tests: ssh: Use 'guile2.0-ssh'....Ludovic Courtès
2017-04-01tests: Introduce 'simple-operating-system' and use it....Ludovic Courtès
2017-03-21tests: ssh: Add a test for SFTP....Clément Lassieur
2017-03-21tests: ssh: Abstract session connection and authentication....Clément Lassieur
2016-10-03tests: ssh: Add Dropbear test....Ludovic Courtès
2016-10-03tests: ssh: Generalize....Ludovic Courtès
2016-10-03tests: Add 'openssh-service-type' test....Ludovic Courtès