Merge branch 'aseitz/missed-capstone-refs-5-0-1' into 'main'

Update missed references to capstone 5.0.0

See merge request rewriting/ddisasm!1206

.github/workflows/actions.yml

@@ -63,7 +63,7 @@ jobs:
           curl https://download.grammatech.com/gtirb/files/apt-repo/conf/apt.gpg.key | apt-key add -
           echo "deb https://download.grammatech.com/gtirb/files/apt-repo ${{ matrix.os }} unstable" >> /etc/apt/sources.list
           apt-get update
-          apt-get -y install libcapstone-dev=1:5.0.0-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter
+          apt-get -y install libcapstone-dev=1:5.0.1-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter
       - name: Checkout ddisasm
         uses: actions/checkout@v4
       - name: Build
@@ -97,7 +97,7 @@ jobs:
           curl https://download.grammatech.com/gtirb/files/apt-repo/conf/apt.gpg.key | apt-key add -
           echo "deb https://download.grammatech.com/gtirb/files/apt-repo ${{ matrix.os }} unstable" >> /etc/apt/sources.list
           apt-get update
-          apt-get -y install libcapstone-dev=1:5.0.0-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter
+          apt-get -y install libcapstone-dev=1:5.0.1-gtdev libgtirb libgtirb-dev libgtirb-pprinter libgtirb-pprinter-dev gtirb-pprinter
           pip3 install https://download.grammatech.com/gtirb/files/python/gtirb-unstable-py3-none-any.whl
           pip3 install -r requirements-dev.txt
       # Download artifacts

doc/source/GENERAL/2-Building-Ddisasm.md

@@ -10,7 +10,7 @@ To build Ddisasm from source, the following requirements should be installed:
 
 - [gtirb](https://github.com/grammatech/gtirb) version 1.12.1 or later
 - [gtirb-pprinter](https://github.com/grammatech/gtirb-pprinter), version 2.0.0 or later
-- [Capstone](http://www.capstone-engine.org/), version 5.0.0 or later
+- [Capstone](http://www.capstone-engine.org/), version 5.0.1 or later
   - GrammaTech builds and tests using the [GrammaTech/capstone](https://github.com/GrammaTech/capstone) fork.
 - [Souffle](https://souffle-lang.github.io), version 2.4  with support for 64 bit numbers (via `-DSOUFFLE_DOMAIN_64BIT=1` during configuration)