Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

coq / platform Public

Notifications You must be signed in to change notification settings
Fork 50
Star 192

Code
Issues 46
Pull requests 13
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

2025.01 prep 7 #462

Merged

MSoegtropIMC merged 9 commits into coq:main from MSoegtropIMC:2025.01-prep-7

Jan 28, 2025

Conversation 0 Commits 9 Checks 17 Files changed

Merged

2025.01 prep 7 #462

Show file tree

Hide file tree

Changes from all commits

Commits

Show all changes

Select commit Hold shift + click to select a range

Pick 8.20~2025.01: updated coq-coqprime-generator to version 1.1.2

MSoegtropIMC Jan 27, 2025

Pick 8.20~2025.01: updated ott and coq-ott to version 0.34

MSoegtropIMC Jan 27, 2025

Pick 8.20~2025.01: updated coq-compcert to version 3.15

MSoegtropIMC Jan 27, 2025

Pick 8.20~2025.01: updated coq-vst to version 2.15

MSoegtropIMC Jan 27, 2025

Opam: removed local packages from opam-coq-archive which are availabl…

MSoegtropIMC Jan 27, 2025

Opam: removed local dev packages from opam-coq-archive which are avai…

MSoegtropIMC Jan 27, 2025

Pick 8.20~2025.01: fix typo in script introduced by version update

MSoegtropIMC Jan 27, 2025

Pick 8.20~2025.01: reverted coq-coqprime-generator to version 1.1.1 -…

MSoegtropIMC Jan 27, 2025

Opam: adjust opam patch package for elpi.1.16.9 to upstream changes

MSoegtropIMC Jan 28, 2025

File filter

Filter by extension

Filter by extension .patch (3) .sh (1) No extension (11) All 3 file types selected

Deleted files Viewed files

Conversations

Failed to load comments.

Loading

Jump to

Jump to file

Failed to load files.

Loading

Diff view

Unified

Split

Hide whitespace

Diff view

Unified

Split

Hide whitespace

- - opam
- package-pick-8.20~2025.01.sh

There are no files selected for viewing

44 changes: 0 additions & 44 deletions 44 ...packages/coq-compcert-32/coq-compcert-32.dev/files/0001-Allow-dev-version-of-Menhir.patch

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

74 changes: 0 additions & 74 deletions 74 opam/opam-coq-archive/extra-dev/packages/coq-compcert-32/coq-compcert-32.dev/opam

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

44 changes: 0 additions & 44 deletions 44 ...a-dev/packages/coq-compcert/coq-compcert.dev/files/0001-Allow-dev-version-of-Menhir.patch

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

61 changes: 0 additions & 61 deletions 61 opam/opam-coq-archive/extra-dev/packages/coq-compcert/coq-compcert.dev/opam

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

47 changes: 0 additions & 47 deletions 47 opam/opam-coq-archive/extra-dev/packages/coq-serapi/coq-serapi.dev/opam

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

42 changes: 0 additions & 42 deletions 42 opam/opam-coq-archive/extra-dev/packages/coq-vst-32/coq-vst-32.dev/opam

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

43 changes: 0 additions & 43 deletions 43 opam/opam-coq-archive/extra-dev/packages/coq-vst/coq-vst.dev/opam

Show comments

View file

Open in desktop

This file was deleted.

Oops, something went wrong.

Loading

Oops, something went wrong.

Loading

Oops, something went wrong.

Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews. Suggestions cannot be applied on multi-line comments. Suggestions cannot be applied while the pull request is queued to merge. Suggestion cannot be applied right now. Please check back later.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.