debian specific patch information for acl2 / 4.3-2

Summary

Package Version	Package Type	Source Package Format
4.3-2	Debian-diff	3.0 (quilt)

Debian packaging Information

Debian changes tarfile	acl2_4.3-2.debian.tar.gz
Size	17942
MD5sum	56915ee4c5ffcc12402269cfc1e67a06

"series" style patches

patch	summary	view	raw
debian-changes-4.1-5	books/misc/misc2/reverse-by-separation.acl2 \| 3 +++ 1 file changed, 3 insertions(+)	view	download
4.3	acl2-fns.lisp \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download
4.3a	GNUmakefile \| 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)	view	download

patch

summary

view

raw

debian-changes-4.1-5

 books/misc/misc2/reverse-by-separation.acl2 |    3 +++
 1 file changed, 3 insertions(+)

view

download

4.3

 acl2-fns.lisp |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

view

download

4.3a

 GNUmakefile |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

view

download

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo