4245 search results for "author:" ""

Showing 951 - 1000
  1. conf-sundials
    Documentation
    Virtual package relying on sundials
    Sundials dev team
    2
    BSD-3-Clause
    Used by 1 other packages
    14 Dec 2021
  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-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
  9. conf-tk
    Documentation
    Virtual package relying on tk
    Tcl Core Team
    1
    Used by 2 other packages
    08 Jun 2016
  10. conf-tree-sitter

    No documentation

    Check if tree-sitter is installed
    Max Brunsfeld
    1
    MIT
    Used by 0 other packages
    17 Apr 2021
  11. 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
  12. 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
  13. 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
  14. 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
  15. conf-wayland-protocols
    Documentation
    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 1 other packages
    09 Oct 2020
  16. conf-which
    Documentation
    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 42 other packages
    22 Feb 2016
  17. 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
  18. 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
  19. conf-xkbcommon
    Documentation
    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 3 other packages
    09 Oct 2020
  20. 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
  21. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 0 other packages
    01 Sep 2022
  22. conf-zlib
    Documentation
    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 21 other packages
    22 Feb 2016
  23. 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
  24. 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
  25. 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
  26. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    10 Oct 2015
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    06 May 2020
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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 3 other packages
    20 Mar 2025
  42. 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
  43. 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
  44. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 1 other packages
    02 Apr 2026
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 19 20 21 ... 85