Your message dated Sun, 05 Apr 2026 00:00:13 +0000
with message-id <[email protected]>
and subject line Bug#1132673: fixed in rust-egg 0.6.0+ds-1
has caused the Debian Bug report #1132673,
regarding ITP: rust-egg -- implementation of egraphs
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.)


-- 
1132673: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1132673
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Jonas Smedegaard <[email protected]>
X-Debbugs-Cc: [email protected]

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

* Package name    : rust-egg
  Version         : 0.6.0
  Upstream Contact: https://github.com/egraphs-good/egg/issues
* URL             : https://github.com/egraphs-good/egg
* License         : Expat
  Programming Lang: Rust
  Description     : egg (EGraphs Good) is an e-graph library

 egg (EGraphs Good) is an e-graph library
 optimized for equality saturation.

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

iQJABAEBCgAqFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAmnQ+YcMHGRyQGpvbmVz
LmRrAAoJECx8MUbBoAEhVBoP/3uqHp79po/7r0cqBgstZg+IQvy88FzF908MVGql
Ib5/zUxOdeVmkorZk8gig8csFyZEXotHQl/ci6BIZg7N6NMRKBr0lDT5j8u/tmkK
dMgQhX7p3DCvPAUjzL++yX5hV9T8A58PZkBZvwoyKRfeT/YGODzji7cgbWx76bKF
L6VS5zArvXdeZ0sa1vZj6swAs5IwpPUrVCkGd4qaUHc98CWHLCPF0YmuLM6TM2AE
LRHF+h8+NzwvD+OTJ0cppL/ypEm7R21OvUXEmVnWQarCZGe5DVOLEW+nTGvp57FF
pc5Wzw7YuMmU0juNRDUCdgdbJctSKPvGQ0fO1QqoKQfJZH4al9r+m6xTG45b0MOn
Z5y1Q2fl5SsqC8FZfQjRJoqGY1Bnxfhti6XjVlEOh+PCNTfUl3vWtHgOPNWihZzG
X/q5l+ggmeYs7tDVvZ8/DmM+HAt8VWuN6s7LNt6V+IVdJlEuXfrKKxmNoSvuzexJ
iS6qlgp2bb8uU2hAMCWWWRU+t/z9YAGKU+27TAFqrtIeLyaV/Yg9b3m0HR0InI9Y
VerAuQrSrro//gtNiEMDICfh9P4cB/R6Zpmu/cmvTkL9y/ZiAlo5CkWSXI7aL1ed
Lgy9MYfFIqQPHAkAApPU2zvb//a38VtfUHnAMyzcQ43+H/eiEYQoBoR+CQT+b4SB
ei0n
=8m8a
-----END PGP SIGNATURE-----

--- End Message ---
--- Begin Message ---
Source: rust-egg
Source-Version: 0.6.0+ds-1
Done: Jonas Smedegaard <[email protected]>

We believe that the bug you reported is fixed in the latest version of
rust-egg, 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.
Jonas Smedegaard <[email protected]> (supplier of updated rust-egg 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: Sat, 04 Apr 2026 15:47:51 +0200
Source: rust-egg
Binary: librust-egg-dev
Architecture: source all
Version: 0.6.0+ds-1
Distribution: experimental
Urgency: low
Maintainer: Jonas Smedegaard <[email protected]>
Changed-By: Jonas Smedegaard <[email protected]>
Description:
 librust-egg-dev - implementation of egraphs - Rust source code
Closes: 1132673
Changes:
 rust-egg (0.6.0+ds-1) experimental; urgency=low
 .
   * initial release;
     closes: bug#1132673
Checksums-Sha1:
 de8a8f7d08b15281e67db7ceb38356b4869378a0 2374 rust-egg_0.6.0+ds-1.dsc
 afa9b5dca4199a5fea8234034dcb37b746d9b765 71320 rust-egg_0.6.0+ds.orig.tar.xz
 82e2084ed5fb6c64eebb208970cd707af5e7f473 5228 rust-egg_0.6.0+ds-1.debian.tar.xz
 491c390acb3a24e97f60ae9ba9a81c0068164dfe 74212 
librust-egg-dev_0.6.0+ds-1_all.deb
 ffdef0036763a8fc76ac9460b90a906fcc2c6e57 19973 
rust-egg_0.6.0+ds-1_amd64.buildinfo
Checksums-Sha256:
 894fe17936cd330cd16dbe131419d20447ddd5ca2d415c98fe431662e9751a4d 2374 
rust-egg_0.6.0+ds-1.dsc
 519ad95972f8770f35554a15d47669c652cd66077b30d27fe9235cce0e457150 71320 
rust-egg_0.6.0+ds.orig.tar.xz
 86aaa0aadb8cb51949b8da9c061583d05d0cb14ceaf2a7e36c7a353eba13600c 5228 
rust-egg_0.6.0+ds-1.debian.tar.xz
 6a3957d75e52949091a8927845663814b7f6ffda51c8665e990994d4b7a92a8d 74212 
librust-egg-dev_0.6.0+ds-1_all.deb
 e009957055cd0a76b8e198a1d564a6c7196f7e9d3237838f13b22d316475f86e 19973 
rust-egg_0.6.0+ds-1_amd64.buildinfo
Files:
 2bf9748ec1c768059182f251ffa5301e 2374 rust optional rust-egg_0.6.0+ds-1.dsc
 82c465a6610b8a8bb389e7a8a1e3330d 71320 rust optional 
rust-egg_0.6.0+ds.orig.tar.xz
 c8b24a4f867560ec1e0c970ca97aa985 5228 rust optional 
rust-egg_0.6.0+ds-1.debian.tar.xz
 5baf2dfaa10e78da2922f271c360a07a 74212 rust optional 
librust-egg-dev_0.6.0+ds-1_all.deb
 70cc2b3fe5e62383ea6bc035a2e31faf 19973 rust optional 
rust-egg_0.6.0+ds-1_amd64.buildinfo

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

iQJABAEBCgAqFiEEn+Ppw2aRpp/1PMaELHwxRsGgASEFAmnRJxkMHGRyQGpvbmVz
LmRrAAoJECx8MUbBoAEhfBYP/2M9bWsoCdvhZQId6suSBUJZlPvt/6BL2UlL9rwu
WvBzuY2Oe66W1Gp/b2FHXphqnSmBv3XzsrazlJhKOPueoWDwml0859mQ6gQzRNhL
u8EnSl8PIJBQbIXwAJAGsqvkvK8uUEEfhOAyoj/lg3eiqrH9Pq4baKrn7Jvm7/O5
LhAoiNbtwb0denVOFbnk12epS0cR7Yj3y5Eupb6nWUicmMNn9mDfuKmPYciD9an4
plOZEgtNQ8cilVFEGlPaXUj2FswI1CCmdt1iPuZ4cBiHuPRD/Lwfdx3BTMqEQKJ4
Qe0mTxr9JPBju1+Yv266mYMIqTawdttmNFhYXxYrY/4dwoCe5mc8q+c+FVUj0Jz0
a7SnRIFM5qfvP2WIYfHEq2S6CBbE0ny8JxwH+oTH6kykaY1ORLMR8z3flyEeQfzT
1qL0AiOGKn6KKti+J67amyaj9KKTEfRWGJ0kBHljpnf5nzIGVN6iwpbff6JEZg7L
4qsxmswLFBipKESLOHr+4/Ys+wVDkQIQhqewIYLnb6pQq5wlbo4MsSty0Io7kBko
flZc1a0hNC+kIhUDx9kP0YFtHz0HhPmXeylVeI6x6c+TatvZ82sQCx6j4HM+Nsvp
Yi/bp07fxyQPjgwmCf+cRAphhJhqBUfCJeUYy4UJBlGRc7LS7nNBMiOjx1Nb4nS3
9TMk
=o1c8
-----END PGP SIGNATURE-----

Attachment: pgpMcB5dk5pzF.pgp
Description: PGP signature


--- End Message ---

Reply via email to