remove configure and Makefile #99
fblanquiAnnotations
5 errors
|
build_lambdapi (4.14.2)
Process completed with exit code 2.
|
|
build_lambdapi (5.2.1)
Process completed with exit code 2.
|
|
build_lambdapi (5.3.0)
Process completed with exit code 2.
|
|
build_lambdapi (5.5.0)
Process completed with exit code 2.
|
|
build_lambdapi (5.4.1)
Process completed with exit code 2.
|