Hacker News new | ask | show | jobs
Formally Specifying a Package Manager (hillelwayne.com)
1 points by ryangibb 196 days ago