#
opam
Here are 53 public repositories matching this topic...
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
Updated
Dec 10, 2020 - OCaml
A statically-typed, functional typesetting system
pdf
latex
functional-programming
ocaml
opentype
markup-language
opam
pdf-generation
typesetting-system
satysfi
-
Updated
Dec 10, 2020 - OCaml
This project aims at being able to export Kicad Sch files to structured picture files
-
Updated
Dec 7, 2020 - OCaml
An OCaml cross-toolchain for Android and several useful libraries
-
Updated
Nov 15, 2018 - Shell
An OCaml cross-toolchain for Windows and several useful libraries
-
Updated
Nov 25, 2020 - Shell
Archive for all Coq related OPAM packages organized in various repositories
-
Updated
Dec 10, 2020 - JavaScript
An OCaml cross-toolchain for iOS and several useful libraries
-
Updated
Nov 26, 2017 - Shell
establish trust in community repositories, cryptographically signed by library authors
-
Updated
Nov 16, 2020 - OCaml
na4zagin3
commented
Nov 16, 2019
As OPAM 2.1 automatically removes installed files, opam install subcommand is meaningless.
As of 2.0, opam tracks the files added to the prefix during package installation, and automatically removes them on package removal, so this should not be needed anymore in most cases (and may even be harmful if files from different packages overlap, which remove scripts generally don't handle). Use i
Docker images of the Coq proof assistant [maintainer=@erikmd]
-
Updated
Dec 10, 2020 - Dockerfile
Minimum docker images for OCaml+OPAM
-
Updated
Dec 18, 2019 - Dockerfile
erikmd
commented
May 28, 2020
idea: add a boolean option that would trigger extra commands such as those of this Travis CI template
see coq-community/templates#28 (comment) for more context
Same as https://www.haskell.org/hoogle/ but for OCaml programmers
-
Updated
Aug 15, 2017 - Shell
Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)
-
Updated
Jul 4, 2020 - Emacs Lisp
Docker images of mathcomp
-
Updated
Dec 10, 2020 - Dockerfile
Improve this page
Add a description, image, and links to the opam topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the opam topic, visit your repo's landing page and select "manage topics."
Dune systematically buffers the output of commands so that their output is not mixed up during parallel builds. However, this is not ideal for interactive commands that require direct access to the terminal.
Currently, the only workaround is to run dune with
-j 1 --no-bufferwhich is not ideal since it completely disables parallelism and also require a specific dune invocation.Another ide