Ubuntu

acl2-emacs binary package in Ubuntu Bionic arm64

Bionic (18.04)
arm64
acl2-emacs

ACL2 is both a programming language in which you can model computer
systems and a tool to help you prove properties of those models.
.
This package contains an emacs interface to ACL2.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2018-01-31 17:34:39 UTC	Published	Ubuntu Bionic arm64	release	universe	math	Optional		8.0dfsg-1
Published on 2018-01-31 Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Bionic arm64	proposed	universe	math	Optional		8.0dfsg-1
Removal requested on 2018-01-31. Deleted on 2018-01-31 by Ubuntu Archive Robot moved to release Published on 2018-01-14 Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
	2018-01-31 14:58:36 UTC	Superseded	Ubuntu Bionic arm64	proposed	universe	math	Optional		7.4dfsg-4
Removed from disk on 2018-02-01. Removal requested on 2018-02-01. Superseded on 2018-01-31 by amd64 build of acl2 8.0dfsg-1 in ubuntu bionic PROPOSED Published on 2017-11-03 Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
	2018-01-31 17:37:07 UTC	Superseded	Ubuntu Bionic arm64	release	universe	math	Optional		7.4dfsg-3.1
Removed from disk on 2018-02-01. Removal requested on 2018-02-01. Superseded on 2018-01-31 by amd64 build of acl2 8.0dfsg-1 in ubuntu bionic PROPOSED Published on 2017-10-26 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2018-02-01 18:10:09 UTC	Deleted	Ubuntu Bionic arm64	proposed	universe	math	Optional		7.4dfsg-3.1
Removed from disk on 2018-02-01. Removal requested on 2017-10-26. Deleted on 2017-10-26 by Ubuntu Archive Robot moved to release Published on 2017-10-25 Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu
	2017-10-26 09:21:43 UTC	Superseded	Ubuntu Bionic arm64	release	universe	math	Optional		7.2dfsg-2
Removed from disk on 2020-07-10. Removal requested on 2017-10-27. Superseded on 2017-10-26 by amd64 build of acl2 7.4dfsg-3.1 in ubuntu artful PROPOSED Published on 2017-10-24 Copied from ubuntu yakkety-proposed amd64 in Primary Archive for Ubuntu

Source package

acl2 package in Ubuntu