https://github.com/clarus/coq2opam2web

Files to build the website for the Opam packages of Coq.
https://github.com/clarus/coq2opam2web

Last synced: about 2 months ago
JSON representation

Files to build the website for the Opam packages of Coq.

• Host: GitHub
• URL: https://github.com/clarus/coq2opam2web
• Owner: clarus
• License: bsd-2-clause
• Created: 2014-07-04T13:29:27.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2014-10-22T22:23:46.000Z (over 10 years ago)
• Last Synced: 2025-02-16T14:24:58.052Z (4 months ago)
• Language: CSS
• Homepage:
• Size: 953 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Coq2Opam2Web

Files to build the website for the Opam packages of Coq.

Run the `Dockerfile` with [Docker](http://www.docker.com/):

    docker build --tag=coq2opam2web .

Launch the generated image:

    docker run -ti -p 8000:8000 coq2opam2web

It will run a web server on [localhost:8000](http://localhost:8000/) with the Coq Eggs website.