Your message dated Wed, 25 Mar 2026 03:48:41 +0000
with message-id <[email protected]>
and subject line Bug#1131644: fixed in iverilog 13.0-2
has caused the Debian Bug report #1131644,
regarding covered: FTBFS: /usr/bin/x86_64-linux-gnu-ld.bfd: cannot find 
-lveriuser: No such file or directory
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


-- 
1131644: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1131644
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:covered
Version: 0.7.10-7
Severity: serious
Tags: ftbfs forky sid

Dear maintainer:

During a rebuild of all packages in unstable, this package failed to build.

Below you will find the last part of the build log (probably the most
relevant part, but not necessarily). If required, the full build log
is available here:

https://people.debian.org/~sanvila/build-logs/202603/

About the archive rebuild: The build was made on virtual machines from AWS,
using sbuild and a reduced chroot with only build-essential packages.

If you cannot reproduce the bug please contact me privately, as I
am willing to provide ssh access to a virtual machine where the bug is
fully reproducible.

If this is really a bug in one of the build-depends, please use
reassign and add an affects on src:covered, so that this is still
visible in the BTS web page for this package.

Thanks.

--------------------------------------------------------------------------------
[...]
 debian/rules clean
dh clean
   dh_clean
 debian/rules binary
dh binary
   dh_update_autotools_config
   dh_autoreconf
autoreconf: export WARNINGS=
autoreconf: warning: autoconf input should be named 'configure.ac', not 
'configure.in'
autoreconf: Entering directory '.'
autoreconf: configure.in: not using Gettext
autoreconf: running: aclocal --force 
aclocal: warning: autoconf input should be named 'configure.ac', not 
'configure.in'
autoreconf: configure.in: tracing
autoreconf: configure.in: not using Libtool
autoreconf: configure.in: not using Intltool
autoreconf: configure.in: not using Gtkdoc
autoreconf: running: /usr/bin/autoconf --force
configure.in:3: warning: 'AM_CONFIG_HEADER': this macro is obsolete.
configure.in:3: You should use the 'AC_CONFIG_HEADERS' macro instead.
aclocal.m4:708: AM_CONFIG_HEADER is expanded from...
configure.in:3: the top level
configure.in:4: warning: AM_INIT_AUTOMAKE: two- and three-arguments forms are 
deprecated.
./lib/autoconf/general.m4:2434: AC_DIAGNOSE is expanded from...
aclocal.m4:429: AM_INIT_AUTOMAKE is expanded from...
configure.in:4: the top level
configure.in:22: warning: AC_PROG_LEX without either yywrap or noyywrap is 
obsolete
./lib/autoconf/programs.m4:743: _AC_PROG_LEX is expanded from...
./lib/autoconf/programs.m4:736: AC_PROG_LEX is expanded from...
configure.in:22: the top level
configure.in:37: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:37: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:37: the top level
configure.in:50: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:50: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:50: the top level
configure.in:55: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:55: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:55: the top level
configure.in:73: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:73: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
acinclude.m4:389: COVERED_DEBUG is expanded from...
configure.in:73: the top level
configure.in:76: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:76: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
acinclude.m4:396: COVERED_PROFILER is expanded from...
configure.in:76: the top level
configure.in:79: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:79: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
acinclude.m4:403: COVERED_TEST is expanded from...
configure.in:79: the top level
configure.in:82: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:82: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:82: the top level
configure.in:110: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:110: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:110: the top level
configure.in:132: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:132: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:132: the top level
configure.in:154: warning: The macro 'AC_HELP_STRING' is obsolete.
configure.in:154: You should run autoupdate.
./lib/autoconf/general.m4:204: AC_HELP_STRING is expanded from...
./lib/autoconf/general.m4:1553: AC_ARG_WITH is expanded from...
configure.in:154: the top level
configure.in:185: warning: The macro 'AC_HEADER_STDC' is obsolete.
configure.in:185: You should run autoupdate.
./lib/autoconf/headers.m4:663: AC_HEADER_STDC is expanded from...
configure.in:185: the top level
configure.in:198: warning: The macro 'AC_TYPE_SIGNAL' is obsolete.
configure.in:198: You should run autoupdate.
./lib/autoconf/types.m4:805: AC_TYPE_SIGNAL is expanded from...
configure.in:198: the top level
configure.in:218: warning: AC_OUTPUT should be used without arguments.
configure.in:218: You should run autoupdate.
autoreconf: running: /usr/bin/autoheader --force
autoheader: warning: autoconf input should be named 'configure.ac', not 
'configure.in'
autoreconf: running: automake --add-missing --copy --force-missing
automake: warning: autoconf input should be named 'configure.ac', not 
'configure.in'
configure.in:4: warning: AM_INIT_AUTOMAKE: two- and three-arguments forms are 
deprecated.  For more info, see:
configure.in:4: 
https://www.gnu.org/software/automake/manual/automake.html#Modernize-AM_005fINIT_005fAUTOMAKE-invocation
configure.in:16: installing './compile'
automake: warning: autoconf input should be named 'configure.ac', not 
'configure.in'
lib/Makefile.am:46: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or 
'*_CPPFLAGS')
lib/Makefile.am:10: warning: source file '../src/arc.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
automake: warning: possible forward-incompatibility.
automake: At least one source file is in a subdirectory, but the 
'subdir-objects'
automake: automake option hasn't been enabled.  For now, the corresponding 
output
automake: object file(s) will be placed in the top-level directory.  However, 
this
automake: behavior may change in a future Automake major version, with object
automake: files being placed in the same subdirectory as the corresponding 
sources.
automake: You are advised to start using 'subdir-objects' option throughout your
automake: project, to avoid future incompatibility.
lib/Makefile.am:10: warning: source file '../src/assertion.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/binding.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/codegen.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/db.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/enumerate.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/expr.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/fsm.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/func_iter.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/func_unit.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/genprof.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/info.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/instance.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/link.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/obfuscate.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/ovl.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/param.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/parser_misc.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/profiler.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/race.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/reentrant.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/scope.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/search.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/sim.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/stat.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/statement.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/static.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/stmt_blk.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/struct_union.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/symtable.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/sys_tasks.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/tree.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/util.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/vector.c' is in a subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:10: warning: source file '../src/vsignal.c' is in a 
subdirectory,
lib/Makefile.am:10: but option 'subdir-objects' is disabled
lib/Makefile.am:66: warning: deprecated feature: target 'covered.vpi' overrides 
'covered.vpi$(EXEEXT)'
lib/Makefile.am:66: change your target to read 'covered.vpi$(EXEEXT)'
/usr/share/automake-1.18/am/program.am: target 'covered.vpi$(EXEEXT)' was 
defined here
lib/Makefile.am:4:   while processing program 'covered.vpi'
src/Makefile.am:74: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or 
'*_CPPFLAGS')
autoreconf: Leaving directory '.'
   debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_auto_configure -- --libexecdir=/usr/lib/x86_64-linux-gnu/covered 
--with-iv=/usr --with-cver=/usr/include/cver LDFLAGS="-Wl,-z,relro -Wl,-z,now 
-Wl,--as-needed"
        ./configure --build=x86_64-linux-gnu --prefix=/usr 
--includedir=\${prefix}/include --mandir=\${prefix}/share/man 
--infodir=\${prefix}/share/info --sysconfdir=/etc --localstatedir=/var 
--disable-option-checking --disable-silent-rules 
--libdir=\${prefix}/lib/x86_64-linux-gnu --runstatedir=/run 
--disable-maintainer-mode --disable-dependency-tracking 
--libexecdir=/usr/lib/x86_64-linux-gnu/covered --with-iv=/usr 
--with-cver=/usr/include/cver LDFLAGS="-Wl,-z,relro -Wl,-z,now -Wl,--as-needed"
checking for a BSD-compatible install... /usr/bin/install -c
checking whether sleep supports fractional seconds... yes
checking filesystem timestamp resolution... 0.01
checking whether build environment is sane... yes
checking for a race-free mkdir -p... /usr/bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking xargs -n works... yes
checking whether UID '999' is supported by ustar format... yes
checking whether GID '999' is supported by ustar format... yes
checking how to create a ustar tar archive... gnutar
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking whether make sets $(MAKE)... (cached) yes
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking whether gcc understands -c and -o together... yes
checking whether make supports the include directive... yes (GNU style)
checking dependency style of gcc... none
checking whether make sets $(MAKE)... (cached) yes
checking for ranlib... ranlib
checking for bison... bison -y
checking for flex... flex
checking for lex output file root... lex.yy
checking for lex library... none needed
checking for library containing yywrap... no
checking whether yytext is a pointer... yes
checking for -Wdate-time -D_FORTIFY_SOURCE=2 option for large files... none 
needed
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking whether byte ordering is bigendian... no
checking for gperf... gperf
checking for gzdopen in -lz... yes
checking how to run the C preprocessor... gcc -E
checking for egrep -e... /usr/bin/grep -E
checking for X... libraries , headers 
checking for gethostbyname... yes
checking for connect... yes
checking for remove... yes
checking for shmat... yes
checking for IceConnectionNumber in -lICE... no
checking for tclConfig.sh... no
checking for tclConfig.sh in library (sub)directories... /usr/lib/tclConfig.sh
checking for tkConfig.sh... no
checking for tkConfig.sh in library (sub)directories... /usr/lib/tkConfig.sh
checking for /usr/include/tcl8.6/generic/tcl.h... no
checking for /usr/include/tcl8.6/tcl.h... yes
checking for /usr/include/tk8.6/generic/tk.h... no
checking for /usr/include/tk8.6/tk.h... no
checking for /usr/include/tcl8.6/tk.h... yes
checking whether compiling/linking Tcl/Tk code works... yes
checking for firefox... no
checking for safari... no
checking for netscape... no
checking for mozilla... no
checking for galeon... no
checking for kfmclient... no
checking for opera... no
checking for gnome-moz-remote... no
checking for open... no
configure: WARNING: I could not determine a browser
checking for /usr/include/iverilog/vpi_user.h... yes
checking for /usr/include/cver/vpi_user.h... yes
checking for string.h... (cached) yes
checking for sys/time.h... yes
checking for math.h... yes
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for an ANSI C-conforming const... yes
checking size of char... 1
checking size of short... 2
checking size of int... 4
checking size of long... 8
checking size of long long... 8
checking size of float... 4
checking size of double... 8
checking return type of signal handlers... void
checking for size_t... yes
checking for round in -lm... yes
checking for roundf in -lm... yes
checking for flag to make position independent code... -fPIC
checking for -rdynamic compiler flag... -rdynamic
checking for shared library link flag... -shared
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: creating lib/Makefile
config.status: creating scripts/Makefile
config.status: creating doc/Makefile
config.status: creating doc/docbook/Makefile
config.status: creating config.h
config.status: executing depfiles commands
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_auto_build
        make -j2
make[1]: Entering directory '/<<PKGBUILDDIR>>'
make  all-recursive
make[2]: Entering directory '/<<PKGBUILDDIR>>'
Making all in scripts
make[3]: Entering directory '/<<PKGBUILDDIR>>/scripts'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/<<PKGBUILDDIR>>/scripts'
Making all in lib
make[3]: Entering directory '/<<PKGBUILDDIR>>/lib'
gcc -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 
-Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -std=gnu17 -g   -I/usr/include/iverilog 
-I.. -c -o vpi.iv.o ../src/vpi.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o arc.o `test -f '../src/arc.c' || 
echo './'`../src/arc.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o assertion.o `test -f 
'../src/assertion.c' || echo './'`../src/assertion.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o binding.o `test -f 
'../src/binding.c' || echo './'`../src/binding.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o codegen.o `test -f 
'../src/codegen.c' || echo './'`../src/codegen.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o db.o `test -f '../src/db.c' || 
echo './'`../src/db.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o enumerate.o `test -f 
'../src/enumerate.c' || echo './'`../src/enumerate.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o expr.o `test -f '../src/expr.c' 
|| echo './'`../src/expr.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o fsm.o `test -f '../src/fsm.c' || 
echo './'`../src/fsm.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o func_iter.o `test -f 
'../src/func_iter.c' || echo './'`../src/func_iter.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o func_unit.o `test -f 
'../src/func_unit.c' || echo './'`../src/func_unit.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o genprof.o `test -f 
'../src/genprof.c' || echo './'`../src/genprof.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o info.o `test -f '../src/info.c' 
|| echo './'`../src/info.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o instance.o `test -f 
'../src/instance.c' || echo './'`../src/instance.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o link.o `test -f '../src/link.c' 
|| echo './'`../src/link.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o obfuscate.o `test -f 
'../src/obfuscate.c' || echo './'`../src/obfuscate.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o ovl.o `test -f '../src/ovl.c' || 
echo './'`../src/ovl.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o param.o `test -f '../src/param.c' 
|| echo './'`../src/param.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o parser_misc.o `test -f 
'../src/parser_misc.c' || echo './'`../src/parser_misc.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o profiler.o `test -f 
'../src/profiler.c' || echo './'`../src/profiler.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o race.o `test -f '../src/race.c' 
|| echo './'`../src/race.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o reentrant.o `test -f 
'../src/reentrant.c' || echo './'`../src/reentrant.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o scope.o `test -f '../src/scope.c' 
|| echo './'`../src/scope.c
In file included from ../src/defines.h:43,
                 from ../src/scope.c:25:
../src/scope.c: In function ‘scope_get_parent_funit’:
../src/scope.c:348:16: warning: comparison between pointer and zero character 
constant [-Wpointer-compare]
  348 |   assert( rest != '\0' );
      |                ^~
../src/scope.c:348:11: note: did you mean to dereference the pointer?
  348 |   assert( rest != '\0' );
      |           ^~~~
../src/scope.c:348:16: warning: comparison between pointer and zero character 
constant [-Wpointer-compare]
  348 |   assert( rest != '\0' );
      |                ^~
../src/scope.c:348:11: note: did you mean to dereference the pointer?
  348 |   assert( rest != '\0' );
      |           ^~~~
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o search.o `test -f 
'../src/search.c' || echo './'`../src/search.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o sim.o `test -f '../src/sim.c' || 
echo './'`../src/sim.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o stat.o `test -f '../src/stat.c' 
|| echo './'`../src/stat.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o statement.o `test -f 
'../src/statement.c' || echo './'`../src/statement.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o static.o `test -f 
'../src/static.c' || echo './'`../src/static.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o stmt_blk.o `test -f 
'../src/stmt_blk.c' || echo './'`../src/stmt_blk.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o struct_union.o `test -f 
'../src/struct_union.c' || echo './'`../src/struct_union.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o symtable.o `test -f 
'../src/symtable.c' || echo './'`../src/symtable.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o sys_tasks.o `test -f 
'../src/sys_tasks.c' || echo './'`../src/sys_tasks.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o tree.o `test -f '../src/tree.c' 
|| echo './'`../src/tree.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o util.o `test -f '../src/util.c' 
|| echo './'`../src/util.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o vector.o `test -f 
'../src/vector.c' || echo './'`../src/vector.c
gcc -DHAVE_CONFIG_H -I. -I.. -I.. -DVPI_ONLY 
-DINSTALL_DIR=\"/usr/share/covered\" -I/usr/include/tcl8.6 
-I/usr/include/tcl8.6    -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -std=gnu17 -g 
-O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -c -o vsignal.o `test -f 
'../src/vsignal.c' || echo './'`../src/vsignal.c
gcc -fPIC -Wdate-time -D_FORTIFY_SOURCE=2 -g -O2 
-Werror=implicit-function-declaration -ffile-prefix-map=/<<PKGBUILDDIR>>=. 
-fstack-protector-strong -fstack-clash-protection -Wformat 
-Werror=format-security -fcf-protection -std=gnu17 -g -DCVER -DNOIV   
-I/usr/include/cver -I.. -c -o vpi.cver.o ../src/vpi.c
rm -f libcovered.a
ar cr libcovered.a arc.o assertion.o binding.o codegen.o db.o enumerate.o 
expr.o fsm.o func_iter.o func_unit.o genprof.o info.o instance.o link.o 
obfuscate.o ovl.o param.o parser_misc.o profiler.o race.o reentrant.o scope.o 
search.o sim.o stat.o statement.o static.o stmt_blk.o struct_union.o symtable.o 
sys_tasks.o tree.o util.o vector.o vsignal.o 
ranlib libcovered.a
gcc -shared vpi.iv.o -L. -lcovered -L/usr/lib -lveriuser -lvpi -Wl,-z,relro 
-Wl,-z,now -Wl,--as-needed -o covered.vpi
gcc -shared -rdynamic vpi.cver.o -L. -lcovered -Wl,-z,relro -Wl,-z,now 
-Wl,--as-needed -o covered.cver.so
/usr/bin/x86_64-linux-gnu-ld.bfd: cannot find -lveriuser: No such file or 
directory
collect2: error: ld returned 1 exit status
make[3]: *** [Makefile:1366: covered.vpi] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: Leaving directory '/<<PKGBUILDDIR>>/lib'
make[2]: *** [Makefile:408: all-recursive] Error 1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [Makefile:349: all] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_build: error: make -j2 returned exit code 2
make: *** [debian/rules:6: binary] Error 25
dpkg-buildpackage: error: debian/rules binary subprocess failed with exit 
status 2
--------------------------------------------------------------------------------

--- End Message ---
--- Begin Message ---
Source: iverilog
Source-Version: 13.0-2
Done: أحمد المحمودي (Ahmed El-Mahmoudy) <[email protected]>

We believe that the bug you reported is fixed in the latest version of
iverilog, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
أحمد المحمودي (Ahmed El-Mahmoudy) <[email protected]> (supplier 
of updated iverilog package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 25 Mar 2026 04:31:32 +0100
Source: iverilog
Built-For-Profiles: noudeb
Architecture: source
Version: 13.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Electronics Team 
<[email protected]>
Changed-By: أحمد المحمودي (Ahmed El-Mahmoudy) 
<[email protected]>
Closes: 1131644
Changes:
 iverilog (13.0-2) unstable; urgency=medium
 .
   * f/rules: override dh_auto_configure to enable libveriuser
     (Closes: #1131644)
Checksums-Sha1:
 a55160bc15cada664890920ae47def003934be3c 1756 iverilog_13.0-2.dsc
 da6251ca2fba3723a18e826c235b112dae5aff53 8764 iverilog_13.0-2.debian.tar.xz
 eb306dc2a9c637bb294cba0e931b37aa6dd0d2ee 10007 iverilog_13.0-2_source.buildinfo
Checksums-Sha256:
 064c9c438617ce94be9b1ffb351da9f618d148a47c8fb3239325415ae1269677 1756 
iverilog_13.0-2.dsc
 c11182286bd99cf38fe07ef0429fda7635bf9e5b2d2a1e268dd6d8b698f215ab 8764 
iverilog_13.0-2.debian.tar.xz
 0209a03420b31f24e9b3d46fbee48b8095871ca83728ee2da021c13834718496 10007 
iverilog_13.0-2_source.buildinfo
Files:
 a5fbca37fe1e794da480235e93e07d48 1756 electronics - iverilog_13.0-2.dsc
 1afd59c74651fdb9eb3ddea69eb64e24 8764 electronics - 
iverilog_13.0-2.debian.tar.xz
 d41f46ae33078f5a94be35e33bdf2d3d 10007 electronics - 
iverilog_13.0-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQFWBAEBCgBAFiEEggahliCEfm0N+LF2vBlqlO3dobcFAmnDV2kiHGFlbG1haG1v
dWR5QHVzZXJzLnNvdXJjZWZvcmdlLm5ldAAKCRC8GWqU7d2ht46mB/9VRMtlP1xm
+oRGFuyjP7xEx3nYpZ+YaxsPTLweJKhDOQbcHdVsQEiz5Z1pBOLgoemF1iLrdRbG
bJLSNSR3XuAD4zZxUWOXFQ2ut8zSTfgF/3Q+zBHu4/jY6b94tbq47gXF36EthX2N
aVp3bZ79kd5ar19Fn58NzRpxvppxbNjgA+RnJm9V429gMBhHlWWB9E0wZs2SL8Sw
sAfOlS7BTYB4njEuWUiS70OjtQYT4ceB9WTxqVI0KfZlJu/NmEF2o8H7H4ZzOCEi
RqZsxvkCUiW4uv8KhcfRvo19ICNvlG072UNEcLAn16Iz8nTys+iyGwDPskt6vwbC
+XglQjFdvrx4
=FZvh
-----END PGP SIGNATURE-----

Attachment: pgpXoxQ72Z8BG.pgp
Description: PGP signature


--- End Message ---

Reply via email to