path: root/gnu
diff options
2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....* gnu/packages/agda.scm (agda-1lab): Update to 549fdb1c948a975e90e70f871993a4a4239aa280. Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e Josselin Poiret 2023-11-14gnu: agda-cubical: Update to 0.6....* gnu/packages/agda.scm (agda-cubical): Update to 0.6. Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49 Josselin Poiret 2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch. * gnu/packages/agda.scm (agda-categories)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c Josselin Poiret -rw-r--r--gnu/packages/admin.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm
index 73ad11f234..60bf87bf68 100644
--- a/gnu/packages/admin.scm
+++ b/gnu/packages/admin.scm
@@ -6006,7 +6006,7 @@ Discover other RouterOS devices or @command{mactelnetd} hosts.
(define-public bfs
(package
(name "bfs")
- (version "3.0.2")
+ (version "3.0.4")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -6015,7 +6015,7 @@ Discover other RouterOS devices or @command{mactelnetd} hosts.
(file-name (git-file-name name version))
(sha256
(base32
- "055qn2bhnyk9k96w8aviz7v4wip9hwsv7ak1m3yygm1x3fhdyhyz"))))
+ "0n2y9m81278j85m8vk242m9nsxdcw62rxsar4hzwszs6p5cjz5ny"))))
(build-system gnu-build-system)
(arguments
(list #:make-flags #~(list (string-append "CC="