aboutsummaryrefslogtreecommitdiff
path: root/academic/coq
diff options
context:
space:
mode:
authorMatteo Bernardini <ponce@slackbuilds.org>2014-09-11 07:01:50 +0200
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2014-09-13 08:01:59 +0700
commit1e5aa5fb5841bc24fef802bdc1eaea0cf4709579 (patch)
tree5461a60702aa12385830e18c7f6dd2eadd666062 /academic/coq
parentc76b5681a2a51e5a59d6e36ce7ba0a8a01e0d82b (diff)
system/virt-manager: Updated for version 1.1.0.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions