4507 search results for ""

Showing 1051 - 1100
  1. conf-swi-prolog
    Documentation
    Virtual package to install the swi-prolog interpreter
    virgile.prevosto@m4x.org
    1
    BSD-2-Clause
    Used by 1 other packages
    05 Dec 2020
  2. conf-sysinfo

    No documentation

    Virtual package relying on sysinfo
    sysinfo dev team
    1
    BSD-3-Clause
    Used by 1 other packages
    23 Jan 2025
  3. conf-taglib
    Documentation
    Virtual package relying on taglib
    taglib maintainers
    1
    LGPL-2.1-or-later
    Used by 1 other packages
    04 Nov 2021
  4. conf-taglib_c

    No documentation

    Virtual package relying on taglib_c
    taglib maintainers
    2
    LGPL-2.1-or-later; MPL-1.1
    Used by 1 other packages
    10 Jul 2025
  5. conf-tcl
    Documentation
    Virtual package relying on tcl
    Tcl Core Team
    1
    Used by 2 other packages
    08 Jun 2016
  6. conf-texlive
    Documentation
    Virtual package relying on texlive / pdflatex
    TeX Users Group
    2
    LaTeX Project Public License and GPL-2
    Used by 4 other packages
    25 Jun 2025
  7. conf-tidy
    Documentation
    Virtual package relying on libtidy installation
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    17 Dec 2018
  8. conf-time

    No documentation

    Virtual package relying on the "time" command
    POSIX
    1
    GPL-1.0-or-later
    Used by 3 other packages
    16 Jul 2017
  9. conf-timeout
    Documentation
    Virtual package relying on the "timeout" command
    GNU coreutils authors
    1
    GPL-1.0-or-later
    Used by 2 other packages
    13 Aug 2020
  10. conf-tk
    Documentation
    Virtual package relying on tk
    Tcl Core Team
    1
    Used by 2 other packages
    08 Jun 2016
  11. conf-tree-sitter

    No documentation

    Check if tree-sitter is installed
    Max Brunsfeld
    1
    MIT
    Used by 0 other packages
    17 Apr 2021
  12. conf-trexio

    No documentation

    Virtual package relying on trexio library installation
    Anthony Scemama
    0.1
    BSD-3-Clause
    Used by 1 other packages
    04 Aug 2022
  13. conf-tzdata

    No documentation

    Virtual package relying on tzdata
    Etienne Millon <me@emillon.org>
    1
    public domain
    Used by 1 other packages
    05 Dec 2020
  14. conf-unwind

    No documentation

    Virtual package relying on libunwind
    David Mosberger, Dave Watson, et al
    0
    MIT
    Used by 2 other packages
    31 Jul 2023
  15. conf-vim

    No documentation

    Virtual package to install the Vim editor
    anil@recoil.org
    1
    charityware
    Used by 0 other packages
    14 Apr 2016
  16. conf-vips
    Documentation
    Virtual package relying on libvips
    vips dev team
    1
    LGPL-2.1-or-later
    Used by 1 other packages
    04 Oct 2025
  17. conf-wayland-protocols
    Documentation
    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 1 other packages
    09 Oct 2020
  18. conf-wget
    Documentation
    Virtual package relying on wget
    hniksic@xemacs.org
    1
    GPL-2.0-or-later
    Used by 3 other packages
    25 Oct 2016
  19. conf-which
    Documentation
    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 42 other packages
    22 Feb 2016
  20. conf-wxwidgets

    No documentation

    Virtual package to check the availability of wxWidgets 3.0 development packages
    Julian Smart
    3.0
    LGPL+EXN-BIN
    Used by 1 other packages
    23 Mar 2016
  21. conf-x86_64-linux-gnu-gcc

    No documentation

    Virtual package relying on the x86_64-linux-gnu-gcc compiler (for C)
    Samuel Hym
    1
    GPL-2.0-or-later
    Used by 2 other packages
    11 Jun 2025
  22. conf-xen
    Documentation
    Virtual package relying on Xen headers
    hannes@mehnert.org
    1
    GPL-2.0-only; LGPL-3.0-only
    Used by 2 other packages
    22 Oct 2020
  23. conf-xkbcommon
    Documentation
    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 3 other packages
    09 Oct 2020
  24. conf-xxhash
    Documentation
    Virtual package relying on a xxhash system installation
    Yann Collet
    1
    BSD-2-Clause
    Used by 1 other packages
    26 Sep 2022
  25. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 0 other packages
    01 Sep 2022
  26. conf-zlib
    Documentation
    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 21 other packages
    22 Feb 2016
  27. conf-zmq
    Documentation
    Virtual package relying on zmq library installation
    iMatix
    0.1
    LGPL-2.0-or-later
    Used by 1 other packages
    13 Jan 2015
  28. conf-zstd
    Documentation
    Virtual package relying on zstd
    Facebook
    1.3.8
    BSD-3-Clause
    Used by 2 other packages
    08 Mar 2019
  29. confero
    Documentation
    Unicode Collation
    Petter A. Urkedal <paurkedal@gmail.com>
    0.1.1
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    17 Nov 2022
  30. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  31. config-file
    Documentation
    A library used to manage configuration files
    Antonin Décimo <antonin@tarides.com> Fabrice Le Fessant <fabrice.lefessant@inria.fr> Maxence Guesdon <maxence.guesdon@inria.fr> Jean-Baptiste Rouquier <jrouquie@gmail.com>
    1.2.2
    LGPL-2.0-or-later
    Used by 2 other packages
    06 Sep 2025
  32. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    10 Oct 2015
  33. configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 23 other packages
    22 Mar 2018
  34. conformist
    Documentation
    Conformist allows you to define schemas to decode, validate and sanitize input data declaratively
    Josef Erben
    0.8.1
    MIT
    Used by 2 other packages
    05 Apr 2022
  35. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    16 Mar 2023
  36. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.18
    BSD-2-Clause
    Used by 79 other packages
    16 Feb 2026
  37. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.18
    BSD-2-Clause
    Used by 8 other packages
    16 Feb 2026
  38. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  39. content_security_policy
    Documentation
    A library for building content-security policies
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  40. contract

    No documentation

    Typed HTTP API contracts for OCaml
    http api contract openapi
    Thomas B.
    0.2.0
    MIT
    Used by 0 other packages
    11 Jun 2026
  41. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    06 May 2020
  42. cookies
    Documentation
    HTTP cookies library for OCaml
    Bikal Lem <gbikal@gmail.com>
    1.0.0
    MPL-2.0
    Used by 0 other packages
    05 Aug 2020
  43. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.1
    LGPL-2.1-only
    Used by 2 other packages
    23 Feb 2026
  44. coq-catt-plugin
    Documentation
    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    15 Oct 2024
  45. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 3 other packages
    02 Apr 2026
  46. coq-lsp
    Documentation
    Language Server Protocol native server for Coq
    Emilio Jesús Gallego Arias <e@x80.org> Ali Caglayan <alizter@gmail.com> Shachar Itzhaky <shachari@cs.technion.ac.il> Ramkumar Ramachandra <r@artagnon.com>
    0.2.5+9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    03 Dec 2025
  47. coq-native

    No documentation

    Package flag enabling coq's native-compiler flag
    Coq
    1
    LGPL-2.1-only
    Used by 0 other packages
    07 Dec 2020
  48. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  49. coq-serapi
    Documentation
    Serialization library and protocol for machine interaction with the Coq proof assistant
    Emilio Jesús Gallego Arias Karl Palmskog Clément Pit-Claudel Kaiyu Yang
    8.20.0+0.20.0
    LGPL-2.1-or-later
    Used by 0 other packages
    10 Sep 2024
  50. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    19 Nov 2015
... 21 22 23 ... 91