aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTanguy Le Carrour <tanguy@bioneland.org>2020-03-21 12:26:27 +0100
committerLeo Famulari <leo@famulari.name>2020-03-24 17:10:22 -0400
commitf5879f158c98d3082bdd64fd2c1ee2afe9f038d4 (patch)
tree0eb8697ff636023572e2e7cdec5b504bba45a3be /gnu/packages/coq.scm
parent20c9df4e46a0d0cec67164ca5d896abd47670cae (diff)
downloadpatches-f5879f158c98d3082bdd64fd2c1ee2afe9f038d4.tar
patches-f5879f158c98d3082bdd64fd2c1ee2afe9f038d4.tar.gz
gnu: Add python-pifpaf.
* gnu/packages/python-xyz.scm (python-pifpaf): New variable. Signed-off-by: Leo Famulari <leo@famulari.name>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions