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

Jump to bottom

adding dune dependency into opam file #6

Open

Thibaut-Gudin wants to merge 1 commit into master from dune_depedencie

Contributor

Thibaut-Gudin commented Jul 28, 2021

No description provided.

Thibaut-Gudin requested a review from jrochel

July 28, 2021 09:10

Thibaut-Gudin self-assigned this

jrochel commented Jul 28, 2021

« dependency »

Thibaut-Gudin changed the title ~~adding dune dependencie into opam file~~ adding dune dependency into opam file

Thibaut-Gudin force-pushed the dune_depedencie branch from df35079 to 82268f1 Compare

July 28, 2021 09:22


          adding dune dependency into opam

39fd199

Thibaut-Gudin force-pushed the dune_depedencie branch from eaf8428 to 39fd199 Compare

July 30, 2021 08:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet