Adapt for use with smlpkg

[athas]

It would be nice if this was available via smlpkg.

[kfl]

A PR would be welcome 😉

@melsman also asked for this, so I guess there is an urgent demand.

I'm definitely willing, but I would prefer if the package could stay here. Is that possible?

[athas]

Of course. smlpkg just requires that the repository directory structure is of a specific form (example).

[kfl]

Ugh, do I really need to have a Russian-dool directory structure where the current git-hosting is part of the naming of directories 🤮 Would it be more intuitive with the SHA256 sum?

I'll look at it.

[melsman]

.. we can also just do a fork... lør. 20. mar. 2021 kl. 11.07 skrev Ken Friis Larsen < ***@***.***>:

…

Ugh, do I really need to have a Russian-dool directory structure where the current git-hosting is part of the naming of directories 🤮 Would it be more intuitive with the SHA256 sum? I'll look at it. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#1 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAI5DOZWXZH3OZYX7LK35QLTERXWLANCNFSM4ZPNSYPA> .