diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:53:17 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 10:53:17 +0200 |
| commit | 313f8ffcb8d61452e4e0dbe4a013962dc0900a44 (patch) | |
| tree | 63edef4458f53a25820ac049f913cdf98a5dd883 /ci/manifest-sources-8.11 | |
| parent | a1d76ab05464ec306357d7bf64f6b05caf34ca55 (diff) | |
| parent | 737cf2ec966c5a154353ef2d15b11607d9e15f9e (diff) | |
| download | smtcoq-313f8ffcb8d61452e4e0dbe4a013962dc0900a44.tar.gz smtcoq-313f8ffcb8d61452e4e0dbe4a013962dc0900a44.zip | |
Merge remote-tracking branch 'remotes/origin/coq-8.10' into coq-8.11
Diffstat (limited to 'ci/manifest-sources-8.11')
0 files changed, 0 insertions, 0 deletions