FRDCSA Roughshod Packages
=========================

Provisional Debian packages built via the FRDCSA autopackager.
These are working but pre-release; expect rough edges. Built and
uploaded under time pressure ahead of severe weather, hence
"roughshod." A polished apt repository (via reprepro) will follow.

Maintainer: Andrew Dougherty <[your email]>
Project:    FRDCSA (https://frdcsa.org)
Autopkgr:   https://github.com/aindilis/autopackager
Built:      April 2026
Target:     Debian (amd64), tested on Debian 13

Packages
--------

eprover (3.2-1)
    Saturation-based theorem prover for first-order logic with
    equality. Upstream: https://eprover.org
    Files:
        eprover_3.2-1_amd64.deb
        eprover-dbgsym_3.2-1_amd64.deb
        eprover_3.2-1_amd64.buildinfo
        eprover_3.2-1_amd64.changes

superlu (5.2.1-1)
    Direct solver library for large sparse non-symmetric linear
    systems. Upstream: https://portal.nersc.gov/project/sparse/superlu/
    Files:
        libsuperlu5_5.2.1-1_amd64.deb           (runtime library)
        libsuperlu5-dbgsym_5.2.1-1_amd64.deb    (debug symbols)
        libsuperlu-dev_5.2.1-1_amd64.deb        (headers)
        superlu_5.2.1-1_amd64.buildinfo
        superlu_5.2.1-1_amd64.changes

peleus (1.0.0-1)
    Jason/AgentSpeak BDI agent platform with integrated STRIPS
    planning via JavaGP. Headless mode exposes web MAS console on
    port 3272. Upstream: https://github.com/meneguzzi/Peleus
    Files:
        peleus_1.0.0-1_all.deb
        peleus_1.0.0-1_amd64.buildinfo
        peleus_1.0.0-1_amd64.changes
    Notes:
        Architecture-independent (JVM). Run example with:
            cd /usr/share/peleus/examples/simple
            java -cp "/usr/share/peleus/lib/*" \
                jason.infra.centralised.RunCentralisedMAS Simple.mas2j
        Then connect a browser to the printed http://host:3272 URL.

scone (0.1.0-1)
    Scone knowledge-base system (Scott Fahlman, CMU). Marker-passing
    inference over a multi-context semantic network.
    Upstream: https://www.cs.cmu.edu/~sef/scone/
    Files:
        scone_0.1.0-1_all.deb
        scone_0.1.0-1_amd64.buildinfo
        scone_0.1.0-1_amd64.changes
    Notes:
        Run instructions still being worked out; package installs
        cleanly but launcher is not yet wrapped. Updates to follow.

Installation
------------

    sudo dpkg -i <package>.deb
    sudo apt-get -f install    # to pull in any missing dependencies

Verification
------------

SHA256 checksums are in the .changes files. .buildinfo files
record the exact build environment for reproducibility.

Status
------

These packages are unsigned and not in an apt repository yet.
Treat as work-in-progress. Feedback welcome via the FRDCSA
project channels or the autopackager issue tracker.