On Tue, 6 Dec 2022, Helmut Grohne wrote:
Hi Scott,
On Tue, Dec 06, 2022 at 11:54:49AM -0500, Scott Talbert wrote:
Run "dht tag ".
Push tag. :)
I suppose one needs commit access to DHG_packages to do this. Given that
I don't intend to maintain haskell stuff (or packages in general), I
think
Hi Scott,
On Tue, Dec 06, 2022 at 11:54:49AM -0500, Scott Talbert wrote:
> Run "dht tag ".
> Push tag. :)
I suppose one needs commit access to DHG_packages to do this. Given that
I don't intend to maintain haskell stuff (or packages in general), I
think it would be easier if you or someone else
On Tue, 6 Dec 2022, Helmut Grohne wrote:
Hi Marcel,
On Tue, Dec 06, 2022 at 05:08:10PM +0100, Marcel Fourné wrote:
I just pushed a fix for #1017415 to the group repo and if somebody could upload
it, the package (and therefore the whole agda system) would be installable
again. I tested the
Hi Marcel,
On Tue, Dec 06, 2022 at 05:08:10PM +0100, Marcel Fourné wrote:
> I just pushed a fix for #1017415 to the group repo and if somebody could
> upload it, the package (and therefore the whole agda system) would be
> installable again. I tested the agda-mode with a local clean rebuild and
4 matches
Mail list logo
