Fix dependencies

This commit is contained in:
Laurent Rineau 2019-05-09 16:03:02 +02:00
parent 2f8eeb0db3
commit d4a6b42ad3
1 changed files with 0 additions and 1 deletions

View File

@ -1,6 +1,5 @@
Algebraic_foundations Algebraic_foundations
Installation Installation
Interval_support
Kernel_23 Kernel_23
Modular_arithmetic Modular_arithmetic
Number_types Number_types