girl
✿
pages
📚
sections
📦
packages
🌗
home
›
📦 packages
› 📦 lbt
📦 lbt
2 pages
✨ every source
debian
all of debian
bookworm
trixie
ubuntu
all of ubuntu
jammy
noble
resolute
stonking
L
L
lbt
(1)
LTL to Büchi Translator
✨
lbt2dot
(1)
LTL to Büchi Translator
✨
💅
getting it ready, bestie…