Ubuntu

acl2 binary package in Ubuntu Lunar armhf

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 the base ACL2 binary.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2023-01-18 01:44:11 UTC	Published	Ubuntu Lunar armhf	release	universe	math	Optional		8.5dfsg-5
Published on 2023-01-18 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		8.5dfsg-5
Removal requested on 2023-01-18. Deleted on 2023-01-18 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-01-17
	2023-01-18 01:45:02 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		8.5dfsg-4
Removed from disk on 2023-01-19. Removal requested on 2023-01-19. Superseded on 2023-01-18 by armhf build of acl2 8.5dfsg-5 in ubuntu lunar PROPOSED Published on 2023-01-15 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
	2023-01-19 06:10:12 UTC	Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		8.5dfsg-4
Removed from disk on 2023-01-19. Removal requested on 2023-01-15. Deleted on 2023-01-15 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-01-14
	2023-01-15 19:55:14 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		8.5dfsg-3
Removed from disk on 2023-01-17. Removal requested on 2023-01-16. Superseded on 2023-01-15 by armhf build of acl2 8.5dfsg-4 in ubuntu lunar PROPOSED Published on 2023-01-01 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
	2023-01-17 00:10:12 UTC	Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		8.5dfsg-3
Removed from disk on 2023-01-17. Removal requested on 2023-01-01. Deleted on 2023-01-01 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-01-01
	2023-01-01 23:04:18 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		8.5dfsg-2
Removed from disk on 2023-01-03. Removal requested on 2023-01-02. Superseded on 2023-01-01 by armhf build of acl2 8.5dfsg-3 in ubuntu lunar PROPOSED Published on 2022-12-24 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
	2023-01-03 00:10:09 UTC	Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		8.5dfsg-2
Removed from disk on 2023-01-03. Removal requested on 2022-12-24. Deleted on 2022-12-24 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2022-12-24
	2022-12-24 20:44:37 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		8.5dfsg-1
Removed from disk on 2024-01-12. Removal requested on 2022-12-25. Superseded on 2022-12-24 by armhf build of acl2 8.5dfsg-2 in ubuntu lunar PROPOSED Published on 2022-10-27 Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu

Source package

acl2 package in Ubuntu