Ubuntu

maria-doc binary package in Ubuntu Noble riscv64

This package contains the documentation of Maria, a reachability
analyzer for algebraic system nets, both in the formats info and html.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2024-04-03 13:11:29 UTC	Published	Ubuntu Noble riscv64	release	universe	doc	Optional		1.3.5-4.2build2
Published on 2024-04-03 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Noble riscv64	proposed	universe	doc	Optional		1.3.5-4.2build2
Removal requested on 2024-04-03. Deleted on 2024-04-03 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-04-01 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2024-04-06 12:10:12 UTC	Deleted	Ubuntu Noble riscv64	updates	universe	doc	Optional		1.3.5-4.2
Removed from disk on 2024-04-06. Removal requested on 2024-04-05. Deleted on 2024-04-05 by Brian Murray superseded by release Published on 2024-03-30 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2024-04-03 13:24:57 UTC	Superseded	Ubuntu Noble riscv64	release	universe	doc	Optional		1.3.5-4.2build1
Removed from disk on 2024-04-04. Removal requested on 2024-04-04. Superseded on 2024-04-03 by amd64 build of maria 1.3.5-4.2build2 in ubuntu noble PROPOSED Published on 2024-03-28 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2024-04-04 18:10:15 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	doc	Optional		1.3.5-4.2build1
Removed from disk on 2024-04-04. Removal requested on 2024-03-28. Deleted on 2024-03-28 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-03-14 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2024-03-29 03:56:46 UTC	Superseded	Ubuntu Noble riscv64	release	universe	doc	Optional		1.3.5-4.2
Removed from disk on 2024-04-06. Removal requested on 2024-03-30. Superseded on 2024-03-29 by amd64 build of maria 1.3.5-4.2build1 in ubuntu noble PROPOSED Published on 2023-12-31 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2024-04-06 12:10:12 UTC	Deleted	Ubuntu Noble riscv64	proposed	universe	doc	Optional		1.3.5-4.2
Removed from disk on 2024-04-06. Removal requested on 2023-12-31. Deleted on 2023-12-31 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-12-31 Copied from ubuntu noble-proposed amd64 in Primary Archive for Ubuntu
	2023-12-31 19:06:27 UTC	Superseded	Ubuntu Noble riscv64	release	universe	doc	Optional		1.3.5-4.1build2
Removal requested on 2024-01-01. Superseded on 2023-12-31 by amd64 build of maria 1.3.5-4.2 in ubuntu noble PROPOSED Published on 2023-10-23 Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu

Source package

maria package in Ubuntu