4435 search results for ""

Showing 1051 - 1100
  1. 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
  2. conf-wayland-protocols
    Documentation
    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 1 other packages
    09 Oct 2020
  3. 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
  4. conf-which
    Documentation
    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 44 other packages
    22 Feb 2016
  5. 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
  6. 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
  7. 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
  8. conf-xkbcommon
    Documentation
    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 3 other packages
    09 Oct 2020
  9. 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
  10. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 0 other packages
    01 Sep 2022
  11. conf-zlib
    Documentation
    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 21 other packages
    22 Feb 2016
  12. 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
  13. conf-zstd
    Documentation
    Virtual package relying on zstd
    Facebook
    1.3.8
    BSD-3-Clause
    Used by 2 other packages
    08 Mar 2019
  14. 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
  15. 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
  16. 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
  17. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    10 Oct 2015
  18. configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 25 other packages
    22 Mar 2018
  19. 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
  20. 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
  21. 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 77 other packages
    16 Feb 2026
  22. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.18
    BSD-2-Clause
    Used by 7 other packages
    16 Feb 2026
  23. 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
  24. 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
  25. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    06 May 2020
  26. 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
  27. 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
  28. 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
  29. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.1
    LGPL-2.1-only
    Used by 3 other packages
    23 Feb 2026
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. coq-stdlib
    Documentation
    Compatibility metapackage for Coq Stdlib library after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  36. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Dec 2025
  37. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.20.1
    LGPL-2.1-only
    Used by 0 other packages
    20 Jan 2025
  38. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.1
    LGPL-2.1-only
    Used by 2 other packages
    23 Feb 2026
  39. cordova
    Documentation
    Binding OCaml to cordova Javascript object.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    18 Aug 2016
  40. cordova-plugin-activity-indicator
    Documentation
    Binding OCaml to cordova-plugin-activity-indicator using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  41. cordova-plugin-background-mode
    Documentation
    Binding to cordova-plugin-background-mode using gen_js_api.
    Omar
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  42. cordova-plugin-barcode-scanner
    Documentation
    Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  43. cordova-plugin-battery-status
    Documentation
    Binding OCaml to cordova-plugin-battery-status using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  44. cordova-plugin-camera
    Documentation
    Binding OCaml to cordova-plugin-camera using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  45. cordova-plugin-clipboard
    Documentation
    Binding OCaml to cordova-plugin-clipboard using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  46. cordova-plugin-datepicker
    Documentation
    Binding OCaml to cordova-plugin-datepicker using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  47. cordova-plugin-device
    Documentation
    Binding OCaml to cordova-plugin-device using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  48. cordova-plugin-device-motion
    Documentation
    Binding OCaml to cordova-plugin-device-motion using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  49. cordova-plugin-device-orientation
    Documentation
    Binding OCaml to cordova-plugin-device-orientation using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  50. cordova-plugin-dialogs
    Documentation
    Binding OCaml to cordova-plugin-dialogs using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
... 21 22 23 ... 89