summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-10-30 02:00:01 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2022-10-30 02:00:00 +0100
commitc11f5853664ec721539c51e346c09b074af7a159 (patch)
tree69d0f2704dea57a6abab31913ac7b1f78b7f05f3 /gnu/packages/coq.scm
parent96387f01b61fa046cc835773057a9452a1df2727 (diff)
gnu: netdiscover: Update to 0.10.
* gnu/packages/networking.scm (netdiscover): Update to 0.10.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions