Package: alt-ergo / 1.30-1

Metadata

Package Version Patches format
alt-ergo 1.30-1 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
0001 dont activate debug flag | (download)

Makefile.users | 4 2 + 2 - 0 !
1 file changed, 2 insertions(+), 2 deletions(-)

 no need to activate debug flag

0002 non free dropped | (download)

Makefile.users | 29 3 + 26 - 0 !
1 file changed, 3 insertions(+), 26 deletions(-)

 adapt makefile to the removal of the non-free directory

0003 allow set build date | (download)

Makefile.users | 3 2 + 1 - 0 !
1 file changed, 2 insertions(+), 1 deletion(-)

 allow set the build date
 This patch moves the date command used for setting the build date to a
 variable, allowing to set the build date externally.
spelling | (download)

src/util/options.ml | 4 2 + 2 - 0 !
src/util/profiling_default.ml | 2 1 + 1 - 0 !
2 files changed, 3 insertions(+), 3 deletions(-)

 fix some spelling errors