Skip to main content

Browse the archive

Revision bbfd94932d77126773f9cafa3855205ca5076f34 authored by Antoine Séré on 20 June 2022, 08:03:59 UTC, committed by Pierre-Yves Strub on 21 June 2022, 08:08:09 UTC 
clone issue in SubRing and RingModule
1 parent b7d5480
Raw File
dune 
(dirs src theories examples scripts)

(install
  (section (bin))
  (files (scripts/testing/runtest as ec-runtest)))
back to top