Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: homebrew: acl2
Logic and programming language in which you can model computer systems
3 versions
Latest release: almost 2 years ago
0 downloads last month
View more package details: https://packages.ecosyste.ms/registries/formulae.brew.sh/packages/acl2
Dependent Repos 1
brunohenrique/dotfiles
- 8.3_12 brew/.config/brew/Brewfile.lock.json
Size: 465 KB - Last synced: about 1 year ago - Pushed: over 1 year ago