https://github.com/xoolive/opam-repository

An opam repository for all we need that is not available elsewhere
https://github.com/xoolive/opam-repository

Last synced: 6 months ago
JSON representation

An opam repository for all we need that is not available elsewhere

• Host: GitHub
• URL: https://github.com/xoolive/opam-repository
• Owner: xoolive
• Created: 2015-10-29T21:26:48.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-10-30T09:06:44.000Z (over 10 years ago)
• Last Synced: 2025-01-22T00:49:33.375Z (over 1 year ago)
• Size: 129 KB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

          
An opam repository for all we need that is not available elsewhere

```sh

opam remote add extra https://github.com/xoolive/opam-repository/

```

For Windows packages involving cross-compilation, refer to [vouillon's repository](https://github.com/vouillon/opam-windows-repository/) and follow their instructions.

Feel free to send pull requests.