diff options2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....* gnu/packages/agda.scm (agda-1lab): Update to
549fdb1c948a975e90e70f871993a4a4239aa280.
Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e
Josselin Poiret
2023-11-14 gnu: agda-cubical: Update to 0.6....* gnu/packages/agda.scm (agda-cubical): Update to 0.6.
Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49
Josselin Poiret
2023-11-14 gnu: 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.scm 4
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=" |