summaryrefslogtreecommitdiff
path: root/nongnu/packages/coq.scm
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-01 22:54:36 +0100
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2021-02-01 22:54:36 +0100
commit05107f1b94e24fa37a01ccbe51b8579846ecf792 (patch)
treee106d15dd3bc013b3184be3dcfe6cbfa2201609a /nongnu/packages/coq.scm
parent905e67b5bf6e31679a3f8a38aeca61a794a55544 (diff)
nongnu: firefox: Switch to node as it's now version 10.22.
* nongnu/packages/mozilla.scm (firefox)[native-inputs]: Use `node` as it was updated to 10.22 and `node-10.22` got removed.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions