diff options
author | 2007-07-04 09:17:43 +0000 | |
---|---|---|
committer | 2007-07-04 09:17:43 +0000 | |
commit | 763b05d3e66a0c0c49bad97434d891d22c1054dc (patch) | |
tree | d460adac8afb69081af3cc663a214cd01a8a2e89 /theories/Reals/Rsigma.v | |
parent | e9eb79992df68745804ca0fefa6594def00a8081 (diff) |
Add dependencies on ${misc:Depends}.debian/8.1+dfsg-6
Diffstat (limited to 'theories/Reals/Rsigma.v')
0 files changed, 0 insertions, 0 deletions