Overview
Request 402532 accepted
- update to 5.2
* Renamed Cotambara to TambaraChoice and Pastro to PastroChoice.
* Added a true Cotambara and Copastro construction for (co)freely generating
costrength, along with CotambaraSum and CopastroSum variants.
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
modules in this package.
- update to 5.1.2
* Added Prep and Coprep along with witnesses to the adjunctions
Prep -| Star : [Hask,Hask] -> Prof and Coprep -| Costar : [Hask,Hask]^op -> Prof.
Request History
mimi_vx created request
- update to 5.2
* Renamed Cotambara to TambaraChoice and Pastro to PastroChoice.
* Added a true Cotambara and Copastro construction for (co)freely generating
costrength, along with CotambaraSum and CopastroSum variants.
* Engaged in a fair bit of bikeshedding about the module structure for lesser used
modules in this package.
- update to 5.1.2
* Added Prep and Coprep along with witnesses to the adjunctions
Prep -| Star : [Hask,Hask] -> Prof and Coprep -| Costar : [Hask,Hask]^op -> Prof.
leaper added lnussel as a reviewer
leaper accepted review
review failed
Origin project changed(was openSUSE:Leap:42.1)
source is in Factory though
lnussel_factory added as a reviewer
Being evaluated by staging project "openSUSE:Leap:42.2:Staging:adi:8"
lnussel_factory accepted review
Picked openSUSE:Leap:42.2:Staging:adi:8
mlin7442 accepted review
Reviewed by staging project "openSUSE:Leap:42.2:Staging:adi:8" with result: "accepted"
mlin7442 added factory-staging as a reviewer
Please recheck
mlin7442 added as a reviewer
Being evaluated by staging project "openSUSE:Leap:42.2:Staging:adi:26"
mlin7442 accepted review
Picked openSUSE:Leap:42.2:Staging:adi:26
mlin7442 accepted review
Reviewed by staging project "openSUSE:Leap:42.2:Staging:adi:26" with result: "accepted"
mlin7442 added factory-staging as a reviewer
Please recheck
mlin7442 added as a reviewer
Being evaluated by staging project "openSUSE:Leap:42.2:Staging:adi:18"
mlin7442 accepted review
Picked openSUSE:Leap:42.2:Staging:adi:18
lnussel accepted review
ok
mlin7442 accepted review
ready to accept
mlin7442 approved review
ready to accept
lnussel_factory accepted request
Accept to openSUSE:Leap:42.2