Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / deducteam/opam-lambdapi-repository issues and pull requests

#5 - update zenon.0.0.0

Pull Request - State: closed - Opened by fblanqui 6 months ago

#4 - Stdlib is install in the folder lib_root/Blanqui/Lib instead of lib_root/Stdlib

Issue - State: closed - Opened by NotBad4U over 1 year ago - 3 comments

#3 - fix #2

Pull Request - State: closed - Opened by fblanqui about 2 years ago

#2 - opam install lambdapi-logic fails

Issue - State: closed - Opened by fblanqui about 2 years ago

#1 - add logic

Pull Request - State: closed - Opened by fblanqui almost 3 years ago