summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorZhu Zihao <all_but_last@163.com>2022-11-04 02:46:15 +0800
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2022-11-06 18:09:06 +0100
commitbddabaacc567651d8e15beda668b5722af305316 (patch)
tree59278973c496887b3f099fc24064dd3e15e72374 /nongnu/packages/coq.scm
parentcbc4c651add86e36f93bc52fac3747be92f8d842 (diff)
nongnu: rtl8821ce-linux-module: Update to 0.0.0-8-50c1b12.
Now supports Linux 6.x series. * nongnu/packages/linux.scm (rtl8821ce-linux-module): Update to 0.0.0-8-50c1b12. Signed-off-by: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions