-
af54db2a
by Ralf Treinen
at 2022-03-20T01:06:47+01:00
New upstream version 20211203-chromium
-
c9a213e6
by Ralf Treinen
at 2022-03-20T01:24:08+01:00
Update upstream source from tag 'upstream/20211203-chromium'
Update to upstream version '20211203-chromium'
with Debian dir a6995b979083d93a284794b5f9eb1218d2c8f490
-
fe47d9e5
by Ralf Treinen
at 2022-03-20T01:35:49+01:00
patches: removed one, refreshed the others
-
f2224378
by Ralf Treinen
at 2022-03-20T02:18:14+01:00
usr/lib/libeacsl-dlmalloc.a is now at usr/lib/frama-c/e-acsl
-
7682fa9c
by Ralf Treinen
at 2022-03-20T08:57:20+01:00
simplify d/copyright, some files have disappeared or changed copyright holder
-
dc2be528
by Ralf Treinen
at 2022-03-20T09:22:45+01:00
updated test wp to use new syntax of why3 config
-
c37572b7
by Ralf Treinen
at 2022-03-22T08:02:52+01:00
standards-version 4.6.0
-
7cf7f861
by Ralf Treinen
at 2022-03-23T08:56:35+01:00
upload to sid