jplesnik/generators-test
Project ID: 182797
Package: emacs-common-proofgeneral
General Information
- Dist Git Repo:
- jplesnik/generators-test/emacs-common-proofgeneral
- Source Type:
- No default source
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
9183717 | 4.5-10 | 15 days ago | a minute | succeeded |
Status Badge
- HTML Code:
- Markdown Code: