melodicht

Unable to unify - compile error

2

``` The Coq Proof Assistant, version 8.17.0 compiled with OCaml 4.14.0 macOS Big Sur Version 11.5.2 ``` At first, I was getting the following error ``` The default value for...

Unable to build on MacOs due to undeclared inclusions even with clang version specified

6

The following is what I have typed into my terminal, and I have included my `clang --version` output. [https://pastebin.com/2Skf2PVa](https://pastebin.com/2Skf2PVa) The key error message is this: ``` ERROR: /Users/usr/Documents/jetting/vere/pkg/urcrypt/BUILD.bazel:7:13: Compiling pkg/urcrypt/argon.c...