Ecosyste.ms: Issues

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

GitHub / coq/repo-stable-disabled issues and pull requests

#25 - MacOS case-insensitive file system compatibility

Pull Request - State: closed - Opened by vzaliva about 9 years ago - 2 comments

#24 - fix for case-insensitive MacOS file system

Pull Request - State: closed - Opened by vzaliva about 9 years ago - 1 comment

#23 - Add package for Coquelicot 2.1.0.

Pull Request - State: closed - Opened by silene over 9 years ago - 1 comment

#22 - new release of CoLoR: classical infinite Ramsey theorem

Pull Request - State: closed - Opened by fblanqui over 9 years ago

#21 - First release of Constructors.

Pull Request - State: closed - Opened by mattam82 over 9 years ago

#20 - added color.1.0.0

Pull Request - State: closed - Opened by fblanqui over 9 years ago

#19 - CoqInterval 2.0.0

Pull Request - State: closed - Opened by silene over 9 years ago

#18 - plouffe

Pull Request - State: closed - Opened by thery over 9 years ago

#17 - Fix name of CoqEAL package.

Pull Request - State: closed - Opened by maximedenes almost 10 years ago

#16 - coq-list-string package added

Pull Request - State: closed - Opened by clarus almost 10 years ago

#15 - Many updates

Pull Request - State: closed - Opened by clarus almost 10 years ago

#14 - aac tactics url doesn't exist

Issue - State: closed - Opened by JasonGross almost 10 years ago - 2 comments

#13 - Configure options with a single dash

Pull Request - State: closed - Opened by clarus about 10 years ago

#12 - Add Flocq 2.4.0 and Interval 1.1.0. Update Interval 1.0.0.

Pull Request - State: closed - Opened by silene about 10 years ago

#10 - Package Flocq 2.3.0 and Interval 1.0.0

Pull Request - State: closed - Opened by silene over 10 years ago

#9 - Package Coquelicot 2.0.1.

Pull Request - State: closed - Opened by silene over 10 years ago - 1 comment

#9 - Package Coquelicot 2.0.1.

Pull Request - State: closed - Opened by silene over 10 years ago - 1 comment

#8 - CoqEAL and fpmods packages for Coq.

Pull Request - State: closed - Opened by CohenCyril over 10 years ago

#7 - Coquelicot, Flocq, Interval

Pull Request - State: closed - Opened by silene over 10 years ago

#7 - Coquelicot, Flocq, Interval

Pull Request - State: closed - Opened by silene over 10 years ago

#6 - coq_plugin_util + a few updates

Pull Request - State: closed - Opened by gmalecha almost 11 years ago

#6 - coq_plugin_util + a few updates

Pull Request - State: closed - Opened by gmalecha almost 11 years ago

#5 - ppsimpl.0.1+dev compatible with coq_extlib

Pull Request - State: closed - Opened by fajb almost 11 years ago

#5 - ppsimpl.0.1+dev compatible with coq_extlib

Pull Request - State: closed - Opened by fajb almost 11 years ago

#4 - ppsimpl package

Pull Request - State: closed - Opened by fajb almost 11 years ago

#4 - ppsimpl package

Pull Request - State: closed - Opened by fajb almost 11 years ago

#3 - Add coq_extlib and mirror_core

Pull Request - State: closed - Opened by gmalecha almost 11 years ago - 2 comments

#3 - Add coq_extlib and mirror_core

Pull Request - State: closed - Opened by gmalecha almost 11 years ago - 2 comments

#2 - Fix containers using GNU-specific install -t

Pull Request - State: closed - Opened by mattam82 almost 11 years ago

#2 - Fix containers using GNU-specific install -t

Pull Request - State: closed - Opened by mattam82 almost 11 years ago

#1 - Cybele package added

Pull Request - State: closed - Opened by clarus almost 11 years ago - 2 comments

#1 - Cybele package added

Pull Request - State: closed - Opened by clarus almost 11 years ago - 2 comments