math/rumur

Maintaineryuri@FreeBSD.org
CommentModel checker, a formal verification tool for state machines
Categoriesmath
Links FreshPorts upstream

Fallout list

version build environment category date (UTC) urls
2026.03.11 144arm64-default package detail · log · report · build queue
2026.03.11 144amd64-default package detail · log · report · build queue
2026.03.11 150arm64-default package detail · log · report · build queue
2026.03.11 150amd64-default package detail · log · report · build queue
2026.03.11 144i386-default package detail · log · report · build queue
2026.03.11 150amd64-default package detail · log · report · build queue
2026.03.11 144i386-default package detail · log · report · build queue
2026.03.11 150arm64-default package detail · log · report · build queue
2026.03.11 144amd64-default package detail · log · report · build queue
2026.03.11 144i386-default package detail · log · report · build queue