Oh shit, I've been using an unreleased version of coq-printf for so long, I forgot the next version adds a MAJOR feature (scanf) and I just bumped the version from 1.0.0 to 1.0.1 😱

Sign in to participate in the conversation
La Quadrature du Net - Mastodon - Media Fédéré

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!