On Wed, 2022-12-14 at 09:29 -0500, Scott Talbert wrote: > On Mon, 12 Dec 2022, Scott Talbert wrote: > > > Hi, > > > > I couldn't find any existing reports of this, but it appears that > > the Debian > > Package Tracker isn't updating. For example, this package [1] that > > got > > accepted on Saturday still shows the very barebones initial page. > > > > The website appears to be functional - it just seems that the > > backend > > database updates are not happening? > > > > Is this the right place to contact the service maintainer(s)? > > > > Thanks, > > Scott > > > > [1] https://tracker.debian.org/pkg/cvc5 > > Hello, > > Anyone know what is going on with the package tracker? >
https://tracker.debian.org/pkg/cvc4 and others package I didn't found any problem cvc5 doesn't appears in search autocomplete but if you search for it, it says the "package is gone" This package is not part of any Debian distribution. Thus you won't find much information here. The package is either very new and hasn't appeared on mirrors yet, or it's an old package that eventually got removed. The old news are kept for historic purpose only. > Thanks, > Scott > -- Sérgio M. B.
