Activity
V2.1.0 (#35)
V2.1.0 (#35)
Pull request merge
preparing coq-htt v2.1.0 for release
preparing coq-htt v2.1.0 for release
preparing coq-htt v2.1.0 for release
preparing coq-htt v2.1.0 for release
Preparing coq-htt v2.1.0 for release
Preparing coq-htt v2.1.0 for release
preparing coq-htt v2.1.0 for release
preparing coq-htt v2.1.0 for release
Preparing coq-htt v2.1.0 for release
Preparing coq-htt v2.1.0 for release
boilerplate for enabling packaging using coq_makefile (#34)
boilerplate for enabling packaging using coq_makefile (#34)
Pull request merge
update ssr upper bounds
update ssr upper bounds
Deleted branch
added data to enable ssr 2.3
added data to enable ssr 2.3
updated meta.yml info to admit ssr 2.3.0
updated meta.yml info to admit ssr 2.3.0
removing obsolete templates (#30)
removing obsolete templates (#30)
Deleted branch
Deleted branch
Deleted branch
Deleted branch
Deleted branch
removing obsolete templates (#30)
removing obsolete templates (#30)
Pull request merge
removing obsolete templates
removing obsolete templates
make coq-htt package depend on coq-htt-core (#29)
make coq-htt package depend on coq-htt-core (#29)
Pull request merge
trying to change organization of packages so that
trying to change organization of packages so that
templates
templates
templates
templates
v2.0 (#27)
v2.0 (#27)
Pull request merge
changed mustache files
changed mustache files
blah
blah
blah
blah
blah
blah