GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — analysis/coq-mathcomp-analysis-stdlib.opam at master · math-comp/analysis

Expand file tree

/

coq-mathcomp-analysis-stdlib.opam

Copy path
More file actions
More file actions

Latest commit

 

History

History
History
27 lines (23 loc) · 653 Bytes
/

coq-mathcomp-analysis-stdlib.opam

Copy path

File metadata and controls

27 lines (23 loc) · 653 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
opam-version: "2.0"
maintainer: "Reynald Affeldt <[email protected]>"
version: "dev"
homepage: "https://github.com/math-comp/analysis"
dev-repo: "git+https://github.com/math-comp/analysis.git"
bug-reports: "https://github.com/math-comp/analysis/issues"
license: "CECILL-C"
depends: [ "rocq-mathcomp-analysis-stdlib" { = version} ]
authors: [
"Reynald Affeldt"
"Alessandro Bruni"
"Yves Bertot"
"Cyril Cohen"
"Marie Kerjean"
"Assia Mahboubi"
"Damien Rouhling"
"Pierre Roux"
"Kazuhiko Sakaguchi"
"Zachary Stone"
"Pierre-Yves Strub"
"Laurent Théry"
]
synopsis: "Compatibility package for rocq-mathcomp-analysis-stdlib"
You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.