Search results

How to make "b.opam depends on external foo package which depends on a.opam" work?

Status: Open.

#111 In tweag/opam-nix;

· sir4ur0n opened on Jan 28, 2025

Failing to install package opam-dune-lint

Status: Open.

#101 In tweag/opam-nix;

· sir4ur0n opened on Dec 6, 2024

eio-posix-1.1 fails to build on macOS ventura 13.6.7

Status: Open.

#89 In tweag/opam-nix;

· kentookura opened on Jun 16, 2024

Old versions of Coq alongside some Coq packages fail to build

Status: Open.

#49 In tweag/opam-nix;

· Coda-Coda opened on Jul 18, 2023

Support .locked opam files

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In tweag/opam-nix;

· RyanGibb opened on Oct 20, 2022

pin-depends fails to parse tags

Status: Open.

#12 In tweag/opam-nix;

· ralsei opened on Jul 5, 2022