Formally Specifying a Package Managerhillelwayne.com1 point·ryangibb··0 commentsOpen articleSaveView on HN