[dev] downgrading to a deb frr package

[Yasuhiro Ohara]

Hi.

(Please forward me to an appropriate mailing list if this is not
the place.)

Regarding the Debian packages <https://deb.frrouting.org/>,
is there any way to downgrade to an older frr debian package?

I just upgraded from frr-7.1 to frr-7.2, but for some reason
(in a production environment) I might want to get back to the
previous frr-7.1 version, which I tested and am sure it's okay
for my specific production use.

(Sorry if this is a newbie deb question...)

Thanks in advance.

Best regards,
Yasu