debian-coq - Debian packaging for Coq

index : debian-coq

Debian packaging for Coq

summary refs log tree commit diff

path: root/plugins/omega/omega_plugin.mlpack

	Commit message (Expand)	Author	Age
*	Imported Upstream version 8.6	Enrico Tassi	2016-12-27

generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 09:49:22 +0000