summaryrefslogtreecommitdiff
path: root/contrib/setoid_ring
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2007-07-04 09:17:43 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2007-07-04 09:17:43 +0000
commit763b05d3e66a0c0c49bad97434d891d22c1054dc (patch)
treed460adac8afb69081af3cc663a214cd01a8a2e89 /contrib/setoid_ring
parente9eb79992df68745804ca0fefa6594def00a8081 (diff)
Add dependencies on ${misc:Depends}.debian/8.1+dfsg-6
Diffstat (limited to 'contrib/setoid_ring')
0 files changed, 0 insertions, 0 deletions