Closed 1DGW closed 3 months ago
@1DGW this package is based on the tag 1.0.0 which doesn't work, since it doesn't include the changes to the Makefile: https://github.com/1DGW/formalization-of-Morse-Kelley-axiomatic-set-theory/releases/tag/v1.0.0
Makefile
To create a working package, you will either have to modify your tag (delete it and create a new one), or make a new release/tag, e.g., v1.0.1. Then you update the file in this PR accordingly.
v1.0.1
@1DGW this package is based on the tag 1.0.0 which doesn't work, since it doesn't include the changes to the
Makefile
: https://github.com/1DGW/formalization-of-Morse-Kelley-axiomatic-set-theory/releases/tag/v1.0.0To create a working package, you will either have to modify your tag (delete it and create a new one), or make a new release/tag, e.g.,
v1.0.1
. Then you update the file in this PR accordingly.