summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludovic.courtes@inria.fr>2021-07-30 17:01:54 +0200
committerLudovic Courtès <ludo@gnu.org>2021-07-31 01:03:23 +0200
commitbb5b6b09dcea95ea65797a897fcef143835cedcb (patch)
tree9efc3b0c972013699e8858a21b9162234f4f465c /gnu/packages/coq.scm
parent3ac3ca367af7ecdd40b3ee304436f0018b059ce4 (diff)
gnu: python-onnx: Delete bundled software.
* gnu/packages/machine-learning.scm (python-onnx)[source]: Delete the 'third_party' directory.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions