Skip to content

Issues: ocaml/dune

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

910 Open 2,224 Closed
910 Open 2,224 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Print a warning when (= version) appears as a dependency constraint in dune-project
#11575 opened Mar 27, 2025 by gridbugs
@kemsguy7
1
Cannot install dune using opam on Window due to non-exist directory/file?
#11574 opened Mar 26, 2025 by yourcomrade
1
Rocq support in dune coq
#11572 opened Mar 26, 2025 by mattam82
7
dune-site-depending libraries cannot be used in non-dune projects
#11565 opened Mar 25, 2025 by glondu
dune rules should work with all aliases
#11564 opened Mar 25, 2025 by Khady
Detect common typos in metadata and attempt to guess user's intention (or at least print a hint) good first issue Good for contributing for the first time to the Dune codebase
#11561 opened Mar 24, 2025 by gridbugs
8
dune-pkg: When extracting an archive fails, dune should print any error messages produced by attempting to run the extraction tool good first issue Good for contributing for the first time to the Dune codebase package management
#11550 opened Mar 20, 2025 by gridbugs
4
dune-pkg: Print an error when dune is unable to decompress a tarball good first issue Good for contributing for the first time to the Dune codebase package management
#11549 opened Mar 20, 2025 by gridbugs
1
6
dune-pkg: Print an error when a tool required to extract an archive is missing good first issue Good for contributing for the first time to the Dune codebase package management
#11548 opened Mar 20, 2025 by gridbugs
@bqcarima
4
dune-pkg: Improve error messages when source archive can't be extracted good first issue Good for contributing for the first time to the Dune codebase package management
#11544 opened Mar 18, 2025 by gridbugs
@bqcarima @create2000 @AdmKing
5
dune subst inferred version is totally misleading and wrong tools Internal dune tools
#11542 opened Mar 17, 2025 by toots
2
[3.18.0] release tracking release PR or issue for releasing a new dune version
#11538 opened Mar 17, 2025 by maiste
11 tasks
3.18.0
@maiste
pkgconf: unknown option -- personality configurator question This issue is a question about something
#11536 opened Mar 14, 2025 by olafhering
2
cache: some permissions can't be represented, causing cache misses package management shared-cache Shared artefacts cache
#11533 opened Mar 14, 2025 by emillon
5
Option to change output truncation docs Documentation improvements open-to-contribution External contributors are welcomed to do a PR to solve the issue
#11532 opened Mar 14, 2025 by patrick-nicodemus
4
dune-pkg: Detect WSL1 and warn user feature-request User wanted features package management windows
#11530 opened Mar 13, 2025 by Alizter
formatting of (preprocess (pps should treat ppx arguments differently feature-request User wanted features tools Internal dune tools
#11528 opened Mar 13, 2025 by Khady
2
dune exec passes surprising executable path to the executable acknowledged
#11527 opened Mar 12, 2025 by Janno
@Alizter
6
symlinks in directory targets don't go in shared cache bug shared-cache Shared artefacts cache
#11523 opened Mar 10, 2025 by emillon
2
Add synopsis to dune rules/aliases. Show synopsis in dune show aliases cli Command line related feature-request User wanted features
#11522 opened Mar 10, 2025 by maxim092001
10
dune show targets builds package dependencies before printing targets if a lockdir is present package management
#11521 opened Mar 10, 2025 by gridbugs
1
Dune package management lsp support in package dependencies feature-request User wanted features package management
#11520 opened Mar 10, 2025 by oberblastmeister
1
dune scripts feature-request User wanted features package management
#11519 opened Mar 10, 2025 by oberblastmeister
1
[BUG] dune build @check fails mysteriously with overlapping executables bug
#11518 opened Mar 7, 2025 by nojb
dune-pkg: Local commands (ie ./configure) should be picked up from the sandbox rather than the source bug
#11514 opened Mar 6, 2025 by shym
ProTip! Adding no:label will show everything without a label.