Your search for tag:team-ocaml

• [PATCH] gnu: ocaml-ctypes: update to 0.23.0
  • patch
  • team-ocaml
  Open#76649 opened 1 weeks ago by Erwan Jahier
• [PATCH] gnu: coq: Update to 8.20.0.
  • patch
  • team-ocaml
  Open#75368 opened 2 months ago by Antero Mejr
• [PATCH 0/2] Extensively lint descriptions and synopses.
  • patch
  • team-science
  • team-core-packages
  • team-r
  • team-mozilla
  • team-rust
  • team-emacs
  • team-embedded
  • team-games
  • team-gnome
  • team-go
  • team-haskell
  • team-julia
  • team-kernel
  • team-lisp
  • team-ocaml
  • team-python
  • team-qt
  • team-sugar
  • team-tex
  • team-sysadmin
  • team-audio
  • team-racket
  • team-localization
  • team-java
  • team-xfce
  Open#74329 opened 4 months ago by Gabriel Wicki
• [PATCH 01/16] gnu: Add ocaml-jsonrpc.
  • patch
  • team-ocaml
  Open#73466 opened 5 months ago by Herman Rimm
• [PATCH] gnu: Add coq-ceres.
  • patch
  • team-ocaml
  Open#73237 opened 6 months ago by Antero Mejr
• [PATCH 0/2] gnu: Add coq-actris.
  • patch
  • team-ocaml
  Open#73236 opened 6 months ago by Antero Mejr
• [PATCH 0/5] gnu: ocaml-eio: Update to 0.12.
  • patch
  • team-ocaml
  Open#72107 opened 8 months ago by Benjamin
• [PATCH 0/2] gnu: Add soupault.
  • patch
  • team-ocaml
  Open#70545 opened 11 months ago by Lobo Torres
• Opam should be using a minimal version of extlib
  • team-ocaml
  Open#69682 opened 1 years ago by Vivien Kraus
• [PATCH gnome-team 0/1] Fix opam on gnome-team
  • patch
  • team-ocaml
  Open#69677 opened 1 years ago by Vivien Kraus
• [PATCH master] gnu: ocaml: Update to 5.1.1
  • patch
  • moreinfo
  • team-ocaml
  Open#69185 opened 1 years ago by Marc Coquand
• [PATCH 00/48] Extend bag-build to gexps.
  • patch
  • moreinfo
  • team-core
  • team-core-packages
  • team-java
  • team-lisp
  • team-rust
  • team-ocaml
  • team-emacs
  • team-go
  • team-haskell
  • team-julia
  • team-kernel
  • team-python
  • team-qt
  • team-r
  • team-ruby
  • team-tex
  • team-zig
  Open#68315 opened 1 years ago by Nicolas Graves
• [PATCH 0/3 gnome-team]: Require zlib in gdk-3.0.pc.
  • patch
  • moreinfo
  • team-gnome
  • team-ocaml
  • team-science
  Open#67623 opened 1 years ago by Jean-Pierre De Jesus DIAZ
• [PATCH] gnu: add package ocaml-tsort
  • patch
  • team-ocaml
  Open#67495 opened 1 years ago by Gabriel Hondet
• [PATCH 00/16] gnu: Add KaTeX, lessc, and flow-remove-types.
  • patch
  • team-ocaml
  Open#67019 opened 1 years ago by Philip McGrath
• [PATCH 0/3] Some OCaml packages (needed for ocaml-toml)
  • patch
  • team-ocaml
  Open#66119 opened 1 years ago by Matthieu Lemerre
• package-mapping with #:deep? #t doesn't get all the implicit inputs
  • important
  • team-core
  • team-lisp
  • team-java
  • team-rust
  • team-ocaml
  • team-emacs
  • team-core-packages
  • team-go
  • team-haskell
  • team-julia
  • team-kernel
  • team-python
  • team-qt
  • team-r
  • team-ruby
  • team-tex
  Open#65665 opened 2 years ago by Ulf Herrman
• [PATCH 0/5] Add ocaml-owl and ocaml-toml.
  • patch
  • team-ocaml
  Open#64400 opened 2 years ago by Anders Ågren Thuné
• [PATCH] Add coq-mathcomp-analysis
  • patch
  • team-python
  • team-ocaml
  Open#58310 opened 2 years ago by Garek Dyszel
• [PATCH] guix: opam: Allow importing local files.
  • patch
  • team-ocaml
  • team-core
  Open#53828 opened 3 years ago by Julien Lepiller
• [PATCH] guix import: Add proper guix-hash-url
  • patch
  • team-ocaml
  Open#36662 opened 6 years ago by Robert Vollmert