adage

github.comtool

An Ada/SPARK alternative to sudo and doas.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Applications > Misc: “An Ada/SPARK alternative to sudo and doas.”