parent
010e79f292
commit
546e7f362a
|
@ -993,7 +993,7 @@ the HTML documentation of TXR.")
|
||||||
(define-public txr
|
(define-public txr
|
||||||
(package
|
(package
|
||||||
(name "txr")
|
(name "txr")
|
||||||
(version "287")
|
(version "288")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
|
@ -1002,7 +1002,7 @@ the HTML documentation of TXR.")
|
||||||
(commit (string-append "txr-" version))))
|
(commit (string-append "txr-" version))))
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32 "0bwa40l5c0dnpcpfbysqbv8ch58sycbb31dnskmhr387jlv938dl"))))
|
(base32 "0an26zffdaw9m673i077r2bw061mhzv4lz4z127sgda5gvg999mf"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
(list #:configure-flags
|
(list #:configure-flags
|
||||||
|
|
Reference in New Issue