diff options
author | 2007-11-29 14:50:52 +0000 | |
---|---|---|
committer | 2007-11-29 14:50:52 +0000 | |
commit | a08fb51bfeed04cffc33ed7eb56a4ad661882ef9 (patch) | |
tree | 403bd69edb521b5c34a5d164e637218099b55bc0 /plugins/setoid_ring/Ncring_tac.v | |
parent | 61fca4c1e9271b8b5d8c90589e0c89991871a8a6 (diff) |
Uploading to unstable.debian/8.1.pl2+dfsg-3
Diffstat (limited to 'plugins/setoid_ring/Ncring_tac.v')
0 files changed, 0 insertions, 0 deletions