[Bug] Missing RPM packages in Github releases

[frenzymadness]

Bug description:

The installation instructions for Fedora say that I should download RPM from Github releases page but the latest release does not contain any RPM packages. There is one RPM package for the older release from 2022.

Expected behaviour:

RPM package is there.

[pcause]

bump

[alexanderwiller]

Affected too

[balcala]

The developer uses alien to convert the deb file to an rpm file

As a temporary workaround until the release page gets fixed you all can follow the steps in the two script files below manually:

https://github.com/dvorka/mindforger/blob/master/build/fedora/fedora-distro-setup.sh
https://github.com/dvorka/mindforger/blob/master/build/fedora/fedora-rpm-from-deb.sh

Basically:

1. install alien on your Fedora box
2. create a directory and cd into that directory and curl/wget the debian 12 deb into it
3. run alien -r - g -v on the downloaded deb file
4. use sed to fix the SPEC file by removing the lines %dir "/" and %dir "/usr/bin/" from the SPEC file
5. use rpmbuild -bb to build the rpm file
6. use dnf to install the rpm file

Following these steps worked for me on my Fedora 40 box