Stream: Coq users

Topic: Opam package stdpp for 8.19


view this post on Zulip Yannick Zakowski (Mar 21 2024 at 14:45):

Hello,
(Note: maybe we should have a stdpp stream?)
It seems like there are no opam package for stdpp on 8.19. Is it due to a technical issue, or simply not done yet? Can we expect one in the shortcoming future?
Thanks a lot,
Yannick

view this post on Zulip Karl Palmskog (Mar 21 2024 at 16:10):

ping @Ralf Jung and @Johannes Hostert (who did the last release)

view this post on Zulip Johannes Hostert (Mar 21 2024 at 16:11):

There's a channel, but not on this zulip. It's here:
https://mattermost.mpi-sws.org/iris/channels/stdpp

view this post on Zulip Karl Palmskog (Mar 21 2024 at 16:11):

here is the issue opened by Platform maintainers on 8.19 support: https://gitlab.mpi-sws.org/iris/stdpp/-/issues/206

view this post on Zulip Johannes Hostert (Mar 21 2024 at 16:13):

The current master (says to) support(s) Coq 8.19, so I guess there is no technical reason. See https://gitlab.mpi-sws.org/iris/stdpp/-/issues/205

view this post on Zulip Ralf Jung (Mar 22 2024 at 10:13):

it is due to a lack of time on our side for making a release. the preils of having an all-prof maintainers team... nobody has time any more :(

view this post on Zulip Ralf Jung (Mar 22 2024 at 10:13):

Cc @Robbert Krebbers , the main maintainer of the package

view this post on Zulip Yannick Zakowski (Mar 22 2024 at 10:29):

Thanks for the confirmation Ralf! It'll be appreciated if you guys find time for the release, but no worries I'll go with a local installation for now :)

view this post on Zulip Yannick Zakowski (Mar 26 2024 at 14:32):

Johannes Hostert said:

There's a channel, but not on this zulip. It's here:
https://mattermost.mpi-sws.org/iris/channels/stdpp

Hmm I'm not sure what I'm doing wrong, but I can't seem to join this mattermost. Whether I try to log in via my github account, or my mpi gitlab account, I always get the following error message:

Error
There is already an account associated with that email address using a sign in method other than gitlab. Please sign in using gitlab.

Sorry for the tangential question, but would anyone know what I'm missing by any chance?

view this post on Zulip Ralf Jung (Mar 26 2024 at 15:51):

yeah that mattermost is somehow cursed with disappearing accounts... and then the gitlab account gets recreated but the mattermost account stays around :/

view this post on Zulip Ralf Jung (Mar 26 2024 at 15:53):

let's take this to DMs

view this post on Zulip Ralf Jung (Apr 12 2024 at 11:03):

Yannick Zakowski said:

Hello,
(Note: maybe we should have a stdpp stream?)
It seems like there are no opam package for stdpp on 8.19. Is it due to a technical issue, or simply not done yet? Can we expect one in the shortcoming future?
Thanks a lot,
Yannick

the package is prepared, once https://github.com/coq/opam/pull/3015 lands it should be generally available :)

view this post on Zulip Yannick Zakowski (Apr 12 2024 at 12:17):

Great, Thanks Ralf!!


Last updated: Jun 13 2024 at 19:02 UTC