Skip to content
Snippets Groups Projects
  • Ralf Jung's avatar
    a5bc9446
    Allow compiling against "dev" version of Coq · a5bc9446
    Ralf Jung authored
    This matches e.g. Iris allowing a "dev" version of std++: You can install a
    "dev" version to test stuff, but then you are responsible for making sure that
    these versions actually work together.  We rely on that when testing things
    against Iris master every night, for which purpose we install Iris master as
    "dev" version.
    a5bc9446
    History
    Allow compiling against "dev" version of Coq
    Ralf Jung authored
    This matches e.g. Iris allowing a "dev" version of std++: You can install a
    "dev" version to test stuff, but then you are responsible for making sure that
    these versions actually work together.  We rely on that when testing things
    against Iris master every night, for which purpose we install Iris master as
    "dev" version.