Your message dated Wed, 07 Nov 2018 03:49:13 +0000
with message-id <[email protected]>
and subject line Bug#912269: fixed in gringo 5.2.3-4
has caused the Debian Bug report #912269,
regarding gringo: Please update symbols for riscv64
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.)


-- 
912269: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=912269
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: gringo
Version: 5.2.3-2
Severity: normal
Tags: patch
User: [email protected]
Usertags: riscv64

Hello,

This package builds fine for the riscv64 architecture, but symbols need to be
updated.

I am attaching a patch that shows a debdiff, which is basically that update of
the symbols file using pkgkde-symbolshelper.  It built fine in both amd64 and
riscv64 with the new changes.

It would be great if you could include these changes and release a new version
for unstable, at the moment it lives in "unreleased".


Thanks and cheers.
--
Manuel A. Fernandez Montecelo <[email protected]>
diff -Nru gringo-5.2.3/debian/changelog gringo-5.2.3/debian/changelog
--- gringo-5.2.3/debian/changelog       2018-07-03 06:23:44.000000000 +0200
+++ gringo-5.2.3/debian/changelog       2018-10-29 15:03:10.000000000 +0100
@@ -1,3 +1,10 @@
+gringo (5.2.3-2+0.riscv64.1) unreleased; urgency=medium
+
+  * Non-maintainer upload.
+  * debian/symbols: update symbols for riscv64
+
+ -- Manuel A. Fernandez Montecelo <[email protected]>  Mon, 29 Oct 2018 15:03:10 
+0100
+
 gringo (5.2.3-2) unstable; urgency=medium
 
   * debian/symbols: batchpatch symbols
diff -Nru gringo-5.2.3/debian/symbols gringo-5.2.3/debian/symbols
--- gringo-5.2.3/debian/symbols 2018-07-03 06:23:44.000000000 +0200
+++ gringo-5.2.3/debian/symbols 2018-10-29 15:02:39.000000000 +0100
@@ -1,36 +1,36 @@
-# SymbolsHelper-Confirmed: 1 alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe 
ppc64 ppc64el s390x sh4 x32
+# SymbolsHelper-Confirmed: 1 alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe 
ppc64 ppc64el riscv64 s390x sh4 x32
 libclingo.so.1 gringo #MINVER#
  (optional=templinst)_ZNKSt5ctypeIcE8do_widenEc@Base 1
  
(optional=templinst)_ZNKSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EE4findERKS5_@Base
 1
  
(optional=templinst)_ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE10_M_emplaceIJS8_EEES6_INSA_14_Node_iteratorIS8_Lb0ELb1EEEbESt17integral_constantIbLb1EEDpOT_@Base
 1
  
(optional=templinst|subst)_ZNSt10_HashtableINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_jESaIS8_ENSt8__detail10_Select1stESt8equal_toIS5_ESt4hashIS5_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb1ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base
 1
- (optional=templinst|arch=amd64 arm64 armel armhf m68k mips64el ppc64el sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 armel armhf hurd-i386 i386 m68k 
mips mips64el mipsel powerpcspe ppc64 ppc64el s390x sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE5eraseENS4_20_Node_const_iteratorIS2_Lb0ELb0EEE@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 armel armhf hurd-i386 i386 m68k 
mips mips64el mipsel powerpcspe ppc64 ppc64el s390x sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base
 1
- (optional=templinst|arch=amd64 arm64 armel armhf hppa ia64 kfreebsd-amd64 
m68k mips64el ppc64el sh4 
x32|subst)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS6_10_Hash_nodeIS4_Lb0EEE@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !ia64 !kfreebsd-amd64 !mips64el 
!ppc64 !ppc64el 
!s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRS1_@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 ia64 kfreebsd-amd64 mips64el ppc64 
ppc64el 
s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRKm@Base
 1
+ (optional=templinst|arch=amd64 arm64 armel armhf hppa kfreebsd-amd64 
kfreebsd-i386 m68k mips64el ppc64el riscv64 sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base
 1
+ (optional=templinst|arch=alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 
ppc64el riscv64 s390x sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE5eraseENS4_20_Node_const_iteratorIS2_Lb0ELb0EEE@Base
 1
+ (optional=templinst|arch=alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 
ppc64el riscv64 s390x sh4 
x32|subst)_ZNSt10_HashtableIiSt4pairIKi{uint64_t}ESaIS2_ENSt8__detail10_Select1stESt8equal_toIiESt4hashIiENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base
 1
+ (optional=templinst|arch=amd64 arm64 armel armhf hppa ia64 kfreebsd-amd64 
kfreebsd-i386 m68k mips64el ppc64el riscv64 sh4 
x32|subst)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS6_10_Hash_nodeIS4_Lb0EEE@Base
 1
+ (optional=templinst|arch=!alpha !amd64 !arm64 !ia64 !kfreebsd-amd64 !mips64el 
!ppc64 !ppc64el !riscv64 
!s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRS1_@Base
 1
+ (optional=templinst|arch=alpha amd64 arm64 ia64 kfreebsd-amd64 mips64el ppc64 
ppc64el riscv64 
s390x)_ZNSt10_HashtableIjSt4pairIKjPKcESaIS4_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS6_18_Mod_range_hashingENS6_20_Default_ranged_hashENS6_20_Prime_rehash_policyENS6_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRKm@Base
 1
  
(optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE11equal_rangeERS1_@Base
 1
  
(optional=templinst|subst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE13_M_rehash_auxE{size_t}St17integral_constantIbLb0EE@Base
 1
  
(optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEE5clearEv@Base
 1
  
(optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED1Ev@Base
 1
  
(optional=templinst)_ZNSt10_HashtableIjSt4pairIKjjESaIS2_ENSt8__detail10_Select1stESt8equal_toIjESt4hashIjENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb0EEEED2Ev@Base
 1
  
(optional=templinst|arch=ia64)_ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE8_M_eraseEmPNS4_15_Hash_node_baseEPNS4_10_Hash_nodeIS2_Lb0EEE@Base
 1
- (optional=templinst|arch=ia64 
kfreebsd-amd64)_ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRS1_@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hurd-i386 !i386 
!ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel !powerpcspe !ppc64 !ppc64el 
!s390x !sh4 
!x32)_ZNSt10_HashtableIySt4pairIKyjESaIS2_ENSt8__detail10_Select1stESt8equal_toIyESt4hashIyENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRKj@Base
 1
- (optional=templinst|arch=hppa ia64 
kfreebsd-amd64|subst)_ZNSt10_HashtableI{uint64_t}St4pairIK{uint64_t}jESaIS2_ENSt8__detail10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 armel armhf hurd-i386 i386 m68k 
mips mips64el mipsel powerpcspe ppc64 ppc64el s390x sh4 
x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE5eraseENS1_20_Node_const_iteratorI{uint64_t}Lb1ELb0EEE@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 armel armhf hurd-i386 i386 m68k 
mips mips64el mipsel powerpcspe ppc64 ppc64el s390x sh4 
x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base
 1
+ 
(optional=templinst|arch=ia64)_ZNSt10_HashtableImSt4pairIKmjESaIS2_ENSt8__detail10_Select1stESt8equal_toImESt4hashImENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEmRS1_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf 
!hurd-i386 !i386 !ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel 
!powerpcspe !ppc64 !ppc64el !s390x !sh4 
!x32)_ZNSt10_HashtableIySt4pairIKyjESaIS2_ENSt8__detail10_Select1stESt8equal_toIyESt4hashIyENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE9_M_rehashEjRKj@Base
 1
+ 
(optional=templinst|arch=ia64|subst)_ZNSt10_HashtableI{uint64_t}St4pairIK{uint64_t}jESaIS2_ENSt8__detail10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE21_M_insert_unique_nodeE{size_t}{size_t}PNS4_10_Hash_nodeIS2_Lb0EEE@Base
 1
+ (optional=templinst|arch=alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 
ppc64el riscv64 s390x sh4 
x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE5eraseENS1_20_Node_const_iteratorI{uint64_t}Lb1ELb0EEE@Base
 1
+ (optional=templinst|arch=alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpc powerpcspe ppc64 
ppc64el riscv64 s390x sh4 
x32|subst)_ZNSt10_HashtableI{uint64_t}{uint64_t}SaI{uint64_t}ENSt8__detail9_IdentityESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS1_18_Mod_range_hashingENS1_20_Default_ranged_hashENS1_20_Prime_rehash_policyENS1_17_Hashtable_traitsILb0ELb1ELb1EEEE9_M_rehashE{size_t}RK{size_t}@Base
 1
  (optional=templinst|arch=mips 
mipsel)_ZNSt11__copy_moveILb1ELb0ESt26random_access_iterator_tagE8__copy_mIPN6Gringo11IntervalSetINS3_6SymbolEE8IntervalES8_EET0_T_SA_S9_@Base
 1
  (optional=templinst)_ZNSt11unique_lockISt5mutexE6unlockEv@Base 1
- (optional=templinst|arch=amd64 arm64 
kfreebsd-amd64)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC1ERKS2_@Base 
1
- (optional=templinst|arch=amd64 arm64 
kfreebsd-amd64)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC2ERKS2_@Base 
1
+ (optional=templinst|arch=amd64 arm64 hppa 
kfreebsd-amd64)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC1ERKS2_@Base 
1
+ (optional=templinst|arch=amd64 arm64 hppa 
kfreebsd-amd64)_ZNSt12__shared_ptrIjLN9__gnu_cxx12_Lock_policyE2EEC2ERKS2_@Base 
1
  
(optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_11ClaspFacadeEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base
 1
  
(optional=templinst)_ZNSt14_Function_base13_Base_managerISt5_BindIFMN5Clasp3Cli12ClaspAppBaseEFbRNS2_14ProgramBuilderEEPN6Gringo9ClingoAppESt12_PlaceholderILi1EEEEE10_M_managerERSt9_Any_dataRKSH_St18_Manager_operation@Base
 1
  
(optional=templinst)_ZNSt14_Function_base13_Base_managerIZNK6Gringo11ClingoModel5atomsEjEUljE_E10_M_managerERSt9_Any_dataRKS5_St18_Manager_operation@Base
 1
  
(optional=templinst)_ZNSt15__exception_ptr12__dest_thunkISt13runtime_errorEEvPv@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE10_M_releaseEv@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE10_M_releaseEv@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE10_M_releaseEv@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE10_M_releaseEv@Base
 1
  (optional=templinst|arch=!alpha !ia64 !ppc64 
!s390x)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo10CSPRelTermEES5_EET0_T_S8_S7_@Base
 1
  
(optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo13TheoryAtomDefEES5_EET0_T_S8_S7_@Base
 1
  
(optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPN6Gringo5Input10CheckLevelEES6_EET0_T_S9_S8_@Base
 1
@@ -43,18 +43,18 @@
  
(optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo4TermESt14default_deleteIS6_EESaIS9_EEESC_EET0_T_SF_SE_@Base
 1
  
(optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt6vectorISt10unique_ptrIN6Gringo5Input7LiteralESt14default_deleteIS7_EESaISA_EEESD_EET0_T_SG_SF_@Base
 1
  
(optional=templinst)_ZNSt20__uninitialized_copyILb0EE13__uninit_copyISt13move_iteratorIPSt8functionIFSt10unique_ptrIN6Gringo6Ground9StatementESt14default_deleteIS7_EEOSt6vectorIS4_INS6_7LiteralES8_ISC_EESaISE_EEEEESK_EET0_T_SN_SM_@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_destroyEv@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_disposeEv@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE14_M_get_deleterERKSt9type_info@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED0Ev@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED1Ev@Base
 1
- 
(optional=templinst|arch=armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED2Ev@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_destroyEv@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_disposeEv@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE14_M_get_deleterERKSt9type_info@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED0Ev@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED1Ev@Base
 1
- 
(optional=templinst|arch=!armel)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED2Ev@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_destroyEv@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE10_M_disposeEv@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE14_M_get_deleterERKSt9type_info@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED0Ev@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED1Ev@Base
 1
+ (optional=templinst|arch=armel 
riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EED2Ev@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_destroyEv@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE10_M_disposeEv@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE14_M_get_deleterERKSt9type_info@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED0Ev@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED1Ev@Base
 1
+ (optional=templinst|arch=!armel 
!riscv64)_ZNSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EED2Ev@Base
 1
  
(optional=templinst)_ZNSt3_V28__rotateIPjEET_S2_S2_S2_St26random_access_iterator_tag@Base
 1
  
(optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED1Ev@Base
 1
  
(optional=templinst)_ZNSt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_ED2Ev@Base
 1
@@ -114,22 +114,23 @@
  (optional=templinst|arch=armel armhf hurd-i386 i386 kfreebsd-i386 m68k mips 
mipsel powerpc 
powerpcspe)_ZNSt6vectorISt4pairIijESaIS1_EE17_M_realloc_insertIJRijEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJRjjEEEvDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE12emplace_backIJS1_EEEvDpOT_@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 
!i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el 
!s390x !sh4 
!x32)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa 
!hurd-i386 !i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe 
!ppc64 !ppc64el !s390x !sh4 
!x32)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJRjjEEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
 1
  (optional=templinst|arch=armel armhf hurd-i386 i386 kfreebsd-i386 m68k mips 
mipsel powerpc 
powerpcspe)_ZNSt6vectorISt4pairIjjESaIS1_EE17_M_realloc_insertIJS1_EEEvN9__gnu_cxx17__normal_iteratorIPS1_S3_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorIbSaIbEE13_M_insert_auxESt13_Bit_iteratorb@Base 
1
  
(optional=templinst|subst)_ZNSt6vectorIbSaIbEE14_M_fill_insertESt13_Bit_iterator{size_t}b@Base
 1
- (optional=templinst|arch=alpha amd64 arm64 armel armhf hppa hurd-i386 i386 
ia64 m68k mips mips64el mipsel powerpc powerpcspe ppc64 ppc64el s390x sh4 
x32)_ZNSt6vectorIcSaIcEE12emplace_backIJcEEEvDpOT_@Base 1
+ (optional=templinst)_ZNSt6vectorIcSaIcEE12emplace_backIJcEEEvDpOT_@Base 1
  
(optional=templinst)_ZNSt6vectorIcSaIcEE15_M_range_insertIPKcEEvN9__gnu_cxx17__normal_iteratorIPcS1_EET_S9_St20forward_iterator_tag@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 
!i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el 
!s390x !sh4 
!x32)_ZNSt6vectorIcSaIcEE17_M_realloc_insertIJRKcEEEvN9__gnu_cxx17__normal_iteratorIPcS1_EEDpOT_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa 
!hurd-i386 !i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe 
!ppc64 !ppc64el !s390x !sh4 
!x32)_ZNSt6vectorIcSaIcEE17_M_realloc_insertIJRKcEEEvN9__gnu_cxx17__normal_iteratorIPcS1_EEDpOT_@Base
 1
  (optional=templinst)_ZNSt6vectorIiSaIiEE12emplace_backIJiEEEvDpOT_@Base 1
  
(optional=templinst)_ZNSt6vectorIiSaIiEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPiS1_EEDpOT_@Base
 1
  (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJRjEEEvDpOT_@Base 1
  (optional=templinst)_ZNSt6vectorIjSaIjEE12emplace_backIJjEEEvDpOT_@Base 1
  
(optional=templinst)_ZNSt6vectorIjSaIjEE15_M_range_insertIN9__gnu_cxx17__normal_iteratorIPjS1_EEEEvS6_T_S7_St20forward_iterator_tag@Base
 1
+ (optional=templinst|arch=kfreebsd-amd64 
kfreebsd-i386|subst)_ZNSt6vectorIjSaIjEE17_M_default_appendE{size_t}@Base 1
  
(optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRKjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 
!i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el 
!s390x !sh4 
!x32)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRN6Gringo6Output22BodyAggregateElements_12ClauseOffsetEEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 
!i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe !ppc64 !ppc64el 
!s390x !sh4 
!x32)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa 
!hurd-i386 !i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe 
!ppc64 !ppc64el !s390x !sh4 
!x32)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRN6Gringo6Output22BodyAggregateElements_12ClauseOffsetEEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa 
!hurd-i386 !i386 !ia64 !m68k !mips !mips64el !mipsel !powerpc !powerpcspe 
!ppc64 !ppc64el !s390x !sh4 
!x32)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJRjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJiEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt6vectorIjSaIjEE17_M_realloc_insertIJjEEEvN9__gnu_cxx17__normal_iteratorIPjS1_EEDpOT_@Base
 1
  
(optional=templinst)_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEED0Ev@Base
 1
@@ -144,37 +145,37 @@
  
(optional=templinst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES5_St9_IdentityIS5_ESt4lessIS5_ESaIS5_EEaSERKSB_@Base
 1
  
(optional=templinst|subst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_{size_t}ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE16_M_insert_uniqueIS8_EES6_ISt17_Rb_tree_iteratorIS8_EbEOT_@Base
 1
  
(optional=templinst|subst)_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_{size_t}ESt10_Select1stIS8_ESt4lessIS5_ESaIS8_EE8_M_eraseEPSt13_Rb_tree_nodeIS8_E@Base
 1
- (optional=templinst|arch=!amd64 !arm64 !hppa !ia64 !kfreebsd-amd64 !m68k 
!mips64el !ppc64el !sh4 
!x32)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueIiEESt4pairISt17_Rb_tree_iteratorIiEbEOT_@Base
 1
+ (optional=templinst|arch=!amd64 !arm64 !hppa !ia64 !kfreebsd-amd64 !m68k 
!mips64el !ppc64el !riscv64 !sh4 
!x32)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE16_M_insert_uniqueIiEESt4pairISt17_Rb_tree_iteratorIiEbEOT_@Base
 1
  
(optional=templinst)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE17_M_emplace_uniqueIJiEEESt4pairISt17_Rb_tree_iteratorIiEbEDpOT_@Base
 1
  
(optional=templinst)_ZNSt8_Rb_treeIiiSt9_IdentityIiESt4lessIiESaIiEE8_M_eraseEPSt13_Rb_tree_nodeIiE@Base
 1
- (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa !hurd-i386 
!i386 !ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel !powerpcspe !ppc64 
!ppc64el !s390x !sh4 
!x32|subst)_ZNSt8__detail9_Map_baseI{uint64_t}St4pairIK{uint64_t}jESaIS3_ENS_10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_20_Prime_rehash_policyENS_17_Hashtable_traitsILb0ELb0ELb1EEELb1EEixERS2_@Base
 1
+#MISSING: 1# (optional=templinst|arch=!alpha !amd64 !arm64 !armel !armhf !hppa 
!hurd-i386 !i386 !ia64 !kfreebsd-amd64 !m68k !mips !mips64el !mipsel 
!powerpcspe !ppc64 !ppc64el !s390x !sh4 
!x32|subst)_ZNSt8__detail9_Map_baseI{uint64_t}St4pairIK{uint64_t}jESaIS3_ENS_10_Select1stESt8equal_toI{uint64_t}ESt4hashI{uint64_t}ENS_18_Mod_range_hashingENS_20_Default_ranged_hashENS_20_Prime_rehash_policyENS_17_Hashtable_traitsILb0ELb0ELb1EEELb1EEixERS2_@Base
 1
  (optional=templinst)_ZNSt8functionIFbjEEC1ERKS1_@Base 1
  (optional=templinst)_ZNSt8functionIFbjEEC2ERKS1_@Base 1
  
(optional=templinst|subst)_ZSt17__rotate_adaptiveIPjS0_{ssize_t}ET_S1_S1_S1_T1_S2_T0_S2_@Base
 1
- (arch=armel)_ZTIN9__gnu_cxx7__mutexE@Base 1
+ (arch=armel riscv64)_ZTIN9__gnu_cxx7__mutexE@Base 1
  
_ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base
 1
  
_ZTINSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base
 1
- (arch=armel)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
- (arch=armel)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (arch=armel riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
+ (arch=!armel !riscv64)_ZTISt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 
1
+ (arch=armel 
riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
+ (arch=!armel 
!riscv64)_ZTISt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  _ZTISt19_Sp_make_shared_tag@Base 1
- 
(arch=armel)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
- 
(arch=!armel)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
- (arch=armel)_ZTSN9__gnu_cxx7__mutexE@Base 1
+ (arch=armel 
riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
+ (arch=!armel 
!riscv64)_ZTISt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
+ (arch=armel riscv64)_ZTSN9__gnu_cxx7__mutexE@Base 1
  
_ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base
 1
  
_ZTSNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base
 1
- (arch=armel)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
- (arch=armel)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
- (arch=!armel)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
+ (arch=armel riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
+ (arch=!armel !riscv64)_ZTSSt11_Mutex_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 
1
+ (arch=armel 
riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE1EE@Base 1
+ (arch=!armel 
!riscv64)_ZTSSt16_Sp_counted_baseILN9__gnu_cxx12_Lock_policyE2EE@Base 1
  _ZTSSt19_Sp_make_shared_tag@Base 1
- 
(arch=armel)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
- 
(arch=!armel)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
+ (arch=armel 
riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
+ (arch=!armel 
!riscv64)_ZTSSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
  
_ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp11ClaspFacade13SolveStrategyENS4_11SolveMode_tEEPNS6_5AsyncENS7_1EEEEEEEE@Base
 1
  
_ZTVNSt6thread11_State_implINS_8_InvokerISt5tupleIJSt10mem_fun1_tIvN5Clasp2mt13ParallelSolveEjEPS6_jEEEEEE@Base
 1
- 
(arch=armel)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
- 
(arch=!armel)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
+ (arch=armel 
riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE1EE@Base
 1
+ (arch=!armel 
!riscv64)_ZTVSt23_Sp_counted_ptr_inplaceIjSaIjELN9__gnu_cxx12_Lock_policyE2EE@Base
 1
  clingo_add_string@Base 1
  clingo_assignment_decision@Base 1
  clingo_assignment_decision_level@Base 1

--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 5.2.3-4

We believe that the bug you reported is fixed in the latest version of
gringo, 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.
Thomas Krennwallner <[email protected]> (supplier of updated gringo 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, 07 Nov 2018 04:07:00 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers 
<[email protected]>
Changed-By: Thomas Krennwallner <[email protected]>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Closes: 912269
Changes:
 gringo (5.2.3-4) unstable; urgency=medium
 .
   * Bug fix: "Please update symbols for riscv64", thanks to Manuel
     A. Fernandez Montecelo (Closes: #912269).
   * debian/symbols: batchpatch symbols for g++-8
   * Upload to unstable.
Checksums-Sha1:
 ae18cd9562b188f12afe1fd8de3c46be78006959 2093 gringo_5.2.3-4.dsc
 439ca672a75cb4b7df3a017e01317259e8d73a18 17516 gringo_5.2.3-4.debian.tar.xz
 553f8e23353b811eba5ce6ca27d008bd276fdf4d 8131 gringo_5.2.3-4_amd64.buildinfo
Checksums-Sha256:
 6693b88769c91a967e0ce8c71a45f50a44c0664afe469faea23be48e36ebf260 2093 
gringo_5.2.3-4.dsc
 63e61bd4a3f94c7909a850a4405312a3dff4cc8abf4afe6d70350168a6fe6cc4 17516 
gringo_5.2.3-4.debian.tar.xz
 6199b7940303c6434c049b7cb3496e8cab5809383042ea04357e0b97d0c7b0c9 8131 
gringo_5.2.3-4_amd64.buildinfo
Files:
 995778f335734de75995243a0d735c4b 2093 interpreters optional gringo_5.2.3-4.dsc
 a61f422d2f61c684c7126d7a3cf6fe57 17516 interpreters optional 
gringo_5.2.3-4.debian.tar.xz
 9fa323a8565a0a8a63e8d5ab76aaa9c0 8131 interpreters optional 
gringo_5.2.3-4_amd64.buildinfo

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

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlviXAIACgkQJ5ffdKZm
mqms2RAAh48b+Bykw5zddU77A6y8jLTfTzN6Ryhxms+FpI3TZahwj17ks8haXqi6
ruiL8yzXTgyYzCPa1K7VgRXCSgGbKseHn92gblJgtRECXXUzWpuINYwMFKl2El3W
Ziw2qGYz0ELrt5SM80Y4e1ykKTcDM+Cn93biI7oJYwmI5IkKGWQ0w9sma75aoeH1
Bz7cvUQqR2eGXsl/iOc2fMlZNTixJv6gkCpEpIEITLHoNmrODzvliZo/FXQdBv3Q
k/e/0jWUyu2PC44QLJfi8i9yUaY1PmS/wqjmVOYH4zwwYgC0a6Alnypp6jCfgG/h
R/ADZ6zcDT2du95rEhECLfZ1BB+FfGOk45fmVLb/tFy/KwhS4ZF9MpPoe2OmAyVe
+DNhhvnBWNX+uc+12+MtaiDNXLO3436HLoBnGzVXyVBfldIHkUWowbPJXAtcOeGH
uCpwFOO0G5cfqu0BFs+j/FIePjsif6TF2/U9He8A06/zWsV9Mmo2Nn83YJczM0On
/J8MHyA6qUBKuMMwW0UXVxcj0ImgjcOVh5OwHB0AZ+9IwulBo5PqU5S9UhuIRAAu
lY+d4JPQivwxSbURbOReMRxf/BOs1aX7cKQkfQwdTbM42qveMz6E2tTl5LVnAJy8
PNQ2M+jaLvH3+SPsF/fFXDOua4o91laiUj97yYGRqmVk4uVXYmc=
=DwAg
-----END PGP SIGNATURE-----

--- End Message ---

Reply via email to