Package: why3 Version: 1.2.1-2+b3 Severity: wishlist Tags: upstream Hi Ralf, Upstream recently added a [micro-C] plugin that one can use [online], but it’s not enabled in the Debian package. micro-C: https://gitlab.inria.fr/why3/why3/tree/master/plugins/microc online: http://why3.lri.fr/micro-C/ I realise it’s not actually available from the actual [source] used in the Debian package, but don’t know why (that why I’ve also tagged this bug “upstream”). source: https://gforge.inria.fr/frs/?group_id=2990 I’d very much like to use this plugin without the need to rely on a webservice, so thanks in advance if you’re able to add such feature (and yes, it’s already used in some courses ;). Regards David
Attachment:
signature.asc
Description: PGP signature