summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2021-10-27 00:46:56 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2021-10-27 00:46:56 +0200
commit5c39f01d2097808967f93e128dc596771a299ea1 (patch)
tree0d6cfd3def07bf7c8faeb72e0dec0a8ae9175b78 /nongnu/packages/coq.scm
parent44c5d5989f53ec5384b3bf3f208d748b52abbee7 (diff)
nongnu: linux-firmware: Update to 20210919.
* nongnu/packages/linux.scm (linux-firmware): Update to 20210919.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions