acl2 0.0.1

Only display out-of-date packages.

1 Reverse dep	Accepted versions
dove	>=0.0.1 && <0.2