Ecosyste.ms: Issues

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

GitHub / uds-psl/autosubst-ocaml issues and pull requests

#20 - Imports in `core` and friends

Issue - State: open - Opened by MevenBertrand 3 months ago

#18 - adapt to coq/coq#19147

Pull Request - State: closed - Opened by gares 5 months ago - 1 comment

#17 - Adapt to change of type of VernacFixpoint in Coq PR #19107

Pull Request - State: closed - Opened by herbelin 5 months ago - 1 comment

#16 - Adapt to https://github.com/coq/coq/pull/19149

Pull Request - State: closed - Opened by proux01 5 months ago - 1 comment

#15 - Adapt to coq/coq#18981 (universe syntax change)

Pull Request - State: closed - Opened by SkySkimmer 7 months ago - 2 comments

#14 - Opam error

Issue - State: closed - Opened by emiquey 9 months ago - 2 comments

#13 - 19

Pull Request - State: closed - Opened by MevenBertrand 10 months ago - 2 comments

#12 - 8.18

Pull Request - State: closed - Opened by MevenBertrand 10 months ago - 1 comment

#11 - Coq 8.17

Pull Request - State: closed - Opened by MevenBertrand 10 months ago - 2 comments

#10 - Adapt to Coq 8.16

Pull Request - State: closed - Opened by MevenBertrand 10 months ago - 2 comments

#9 - Porting to 8.15

Pull Request - State: closed - Opened by MevenBertrand 10 months ago - 1 comment

#8 - Compilation error with successive binders

Issue - State: open - Opened by kyoDralliam over 1 year ago

#7 - Add missing case studies to CI

Pull Request - State: closed - Opened by ana-borges over 1 year ago - 3 comments

#6 - Add option for prelude file, replacing the automatic preamble

Pull Request - State: closed - Opened by yforster over 1 year ago

#5 - Fix opam path problem

Pull Request - State: closed - Opened by yforster over 1 year ago

#4 - Add #[global] on instances

Pull Request - State: closed - Opened by yforster over 1 year ago - 5 comments

#3 - Example combining a functor and binders

Issue - State: closed - Opened by MevenBertrand over 1 year ago

#2 - Adding the option functor

Pull Request - State: closed - Opened by MevenBertrand over 1 year ago

#1 - Opam package erroring due to wrong file location

Issue - State: closed - Opened by MevenBertrand almost 2 years ago - 8 comments