summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-03-11 22:01:37 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2019-03-12 02:22:35 +0100
commit6d04f694dc29f23833a48b9f114c42670e12d168 (patch)
treec7ccab829e8b5696cba6e0bb7dc3cd6e9fae9566 /gnu/packages/coq.scm
parent96ec46047ba772162cc46a7a3e60770229269b9b (diff)
downloadpatches-6d04f694dc29f23833a48b9f114c42670e12d168.tar
patches-6d04f694dc29f23833a48b9f114c42670e12d168.tar.gz
gnu: python-sqlalchemy: Update to 1.3.1.
* gnu/packages/databases.scm (python-sqlalchemy): Update to 1.3.1.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions