Changes between Version 35 and Version 36 of Ticket #23832


Ignore:
Timestamp:
03/05/18 16:50:42 (16 months ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23832 – Description

    v35 v36  
    44
    55#24901 notedown does not install on archlinux
     6
     7#23533 cryptominisat fails to build
     8
     9#24902 deformation fails to build
     10
     11#24903 autotools fail to build
    612
    713== 8.1.rc0