Package: elpi / 2.0.7-1

Metadata

Package Version Patches format
elpi 2.0.7-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 Fix compilation with atdgen 2.16.patch | (download)

src/dune | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 
 fix compilation with atdgen 2.16