summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorVincent Legoll <vincent.legoll@gmail.com>2020-04-05 13:48:32 +0200
committerDanny Milosavljevic <dannym@scratchpost.org>2020-04-05 18:23:07 +0200
commit465734ba86ccba0fc2b6ffb22bb0f78679e8f7c9 (patch)
tree6330bf1f059e7e488ccb496a38fba99f3d9d081a /gnu/packages/coq.scm
parenta34564439dead755347632e133f123212ba25e80 (diff)
downloadpatches-465734ba86ccba0fc2b6ffb22bb0f78679e8f7c9.tar
patches-465734ba86ccba0fc2b6ffb22bb0f78679e8f7c9.tar.gz
gnu: pcb: Make some inputs native.
* gnu/packages/engineering.scm (pcb)[inputs]: Move desktop-files-utils from here... [native-inputs]: ...to here. Signed-off-by: Danny Milosavljevic <dannym@scratchpost.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions