Commits

Breadcrumbs

History for

onrefs/heads/gg_295

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2023

• Fix tezt version

  GuillaumeGen

  committed
  7f9036a

Commits on Dec 4, 2023

• Update tezt version

  GuillaumeGen

  committed
  638edcc

Commits on Jun 18, 2022

• Dependencies

  Show description for b0b6fcb
  

  Gabriel

  committed
  b0b6fcb

Commits on Jun 17, 2022

• Universo depends on *current* Dedukti

  

  hondet

  committed
  c0aa5d8

• Universo depends on dedukti; lower bound menhir

  

  hondet

  authored and

  gabrielhdt

  committed
  d8a9a71

Commits on Jun 16, 2022

• ocaml version universo; formatting

  

  Gabriel

  committed
  8db76d7

• Add dependencies in dune-project

  

  Gabriel

  committed
  fa0e837

• opam: Add missing dependencies

  saroupille

  committed
  15d1dd5

Commits on Jun 29, 2021

• Split dedukti and universo as packages

  yannl35133

  committed
  e85df96

Loading