Package Details: systemtap 4.1-1

Git Clone URL: (read-only)
Package Base: systemtap
Description: Infrastructure to simplify the gathering of information about the running Linux system
Upstream URL:
Licenses: GPL
Submitter: Shibumi
Maintainer: annguyenfoss
Last Packager: annguyenfoss
Votes: 13
Popularity: 0.80
First Submitted: 2018-02-14 11:32
Last Updated: 2019-10-28 13:14

Dependencies (7)

Required by (7)

Sources (2)

Pinned Comments

annguyenfoss commented on 2019-10-28 13:15

Adopted the package and updated to 4.1. As upstream's configure doesn't support to exclude SDT headers, I did the ugly way and rm -r them before packaging. So far, it works, but it may have issues.

Latest Comments

« First ‹ Previous 1 2 3 4 5 Next › Last »

pmatos commented on 2018-10-05 07:17


✗ gpg --receive-keys 258B6EFA0F209D24
gpg: keyserver receive failed: No data

pmatos commented on 2018-10-05 07:17

@gangelop I assume this is a workaround right? I assume the system could/should run the gpg --receive-keys command on its own.

gangelop commented on 2018-10-05 07:12

gpg --receive-keys 258B6EFA0F209D24

pmatos commented on 2018-10-05 06:25

I am also getting:

==> Verifying source file signatures with gpg...
    systemtap-3.3.tar.gz ... FAILED (unknown public key 258B6EFA0F209D24)

SoXX commented on 2018-09-18 17:09

it seems that I can't download this package, I always get "unknown public key 258B6EFA0F209D24". I tried already to import the keys like others here state with "gpg --receive-keys 258B6EFA0F209D24" but it won't work. infect I get a different error, "gpg: keyserver receive failed: No data".

Can anybody help me?

Webstas commented on 2018-09-13 17:52

rmdir: failed to remove '/home/XXXXXX/systemtap/pkg/systemtap/var/run/stap-server/': No such file or directory

i cant seem to get around this error, has anyone else experienced this?

Excalibur commented on 2018-09-09 02:06

$ gpg --receive-keys 258B6EFA0F209D24

If you need to import the key, do it under normal user. I tried the same command in gangelop's comment with sudo and that doesn't work.

zorggy commented on 2018-09-03 11:10

Thanks, it worked.

gangelop commented on 2018-09-03 11:03

Hi zorggy. Try a different keyserver maybe? I'm using hkp:// Please learn how to use gpg. This is very much outside the scope of this comment section. Post on the forum if you're still stuck.

zorggy commented on 2018-09-03 10:54

Thank you for your fast reply. When running the command you gave, I get the error:

gpg: keyserver receive failed: No data