summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2023-12-13 17:55:24 +0100
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2023-12-13 17:56:18 +0100
commit25b3a7b6f6ed6aa78c30ea3ea51828c15b729bcb (patch)
treed547ef16bf539fd0e30f786b4f5abe8fc56a7b36 /nongnu/packages/coq.scm
parente721ad7dfd050aaca55c839dbf5ca1ba3345567c (diff)
nongnu: hplip-plugin: Update source hash.
Inherited hplip package was updated to 3.23.12 in commit 392de3262ef388ec282d4311a7c2954e86e5aac9 of guix. * nongnu/packages/printers.scm (hplip-plugin)[native-inputs]: Update sha256 hash for hplip-plugin.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions