虚包: libcoq-iris-ltup8

这是一个虚包。查看Debian 政策了解虚包的定义。

负责填实 libcoq-iris-ltup8 的软件包

libcoq-iris

high-order concurrent separation logic framework for Coq