Skip to content
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.

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

Nix flakes: Using the right ocamlPackages and updating locks #717

Merged
merged 2 commits into from
Jan 31, 2024

Conversation

CohenCyril
Copy link
Contributor

Builds on my machine

CC @rtetley

@CohenCyril CohenCyril changed the title Using the right ocamlPackages and updating locks flakes: Using the right ocamlPackages and updating locks Jan 30, 2024
@CohenCyril CohenCyril changed the title flakes: Using the right ocamlPackages and updating locks Nix flakes: Using the right ocamlPackages and updating locks Jan 30, 2024
@CohenCyril
Copy link
Contributor Author

CohenCyril commented Jan 30, 2024

btw it would be nice if you could reduce the nix deps to the bare minimum and inform me, so that I can patch the derivation at NixOS/nixpkgs#256515

@rtetley
Copy link
Collaborator

rtetley commented Jan 30, 2024

Thanks a lot ! I'll reduce tomorrow and let you know ! Cheers :-)

@rtetley rtetley merged commit 11a8f4c into coq:main Jan 31, 2024
9 checks passed
@ablearthy ablearthy mentioned this pull request Jan 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants