[patchlogo]

Debian patch tracking system

- acl2 - acl2/4.0-3

debian specific patch information for acl2 / 4.0-3

Summary

Package Version Package Type Source Package Format
4.0-3 Debian-diff 1.0

Debian packaging Information

Diff file acl2_4.0-3.diff.gz
Size15953
MD5sumeb763682aa2f255748d5d11fc3ba3509
./debian only changes view download
non packaging (i.e. not ./debian) changes view download

Misc. Non-packaging "direct" style patches

file inserted deleted modified view download
TAGS220 view download
acl2-fns.lisp110 view download
acl2-proclaims.lisp300 view download
books/serialize/serialize-tests.lisp200 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