The latest version of refinery is 0.4.0.0-0.
refinery
Version 0.3.0.0 revision 0 uploaded by ReedMullanix.
Package meta
- Synopsis
- Toolkit for building proof automation systems
- Description
Please see the README on GitHub at https://github.com/githubuser/refinery#readme
- Author
- Reed Mullanix
- Bug reports
- https://github.com/totbwf/refinery/issues
- Category
- Language
- Copyright
- 2019 Reed Mullanix
- Homepage
- https://github.com/totbwf/refinery#readme
- Maintainer
- reedmullanix@gmail.com
- Package URL
- n/a
- Stability
- n/a