Package: coq-interval / 4.11.1-1

Metadata

Package Version Patches format
coq-interval 4.11.1-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
fix_install.patch | (download)

configure.in | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 fix the install target