debian specific patch information for prover9-manual / 0.0.200902a-1

Summary

Package Version Package Type Source Package Format
0.0.200902a-1 Debian-diff 1.0

Debian packaging Information

Diff file prover9-manual_0.0.200902a-1.diff.gz
Size4185
MD5sum7427129d02078411724c50738beb2dca
./debian only changes view download

"series" style patches

patch summary view raw
01-entities.dpatch
 syntax.html |   16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)
view download