summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-08-24 01:07:04 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2019-08-24 04:56:08 +0200
commit8a8e449147cced332354994c2ef65e9755a185c7 (patch)
treefb1967c763e026fe88b528568b0a5c44517e9181 /gnu/packages/coq.scm
parentd5be746a8505c4c6b3f8f7506a582188a07883d1 (diff)
gnu: python-pyscard: Update to 1.9.9.
* gnu/packages/security-token.scm (python-pyscard): Update to 1.9.9.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions