Fedora RPM not available as documented

[vorburger]

https://souffle-lang.github.io/install#fedora

and https://souffle-lang.github.io/ppa/,

say (currently) that

$ dnf install https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm
$ dnf install souffle

should work? This may be outdated, or perhaps version numbers changed, but as-is right now this doesn't seem to work:

[MIRROR] souffle.fedora36repo.rpm: Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)
[MIRROR] souffle.fedora36repo.rpm: Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)
[MIRROR] souffle.fedora36repo.rpm: Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)
[MIRROR] souffle.fedora36repo.rpm: Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)
[FAILED] souffle.fedora36repo.rpm: Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)
Status code: 404 for https://souffle-lang.github.io/ppa/fedora/36/x86_64/souffle.fedora36repo.rpm (IP: 185.199.108.153)

Just thought I would let you know.

If no longer available, perhaps just comment that out on the docs? (Happy to send you a PR if that would be welcome.)

In the meantime, I'll try to see if I can easily enough manage to build it from source...

[quentin]

The fedora packages are outdated. I recently pushed docker script to build fedora 39 packages at release time (#2467) but it has not been tested yet.

Any help would be welcomed.