GPG transition statement

This transition statement can be also downloaded from here

—–BEGIN PGP SIGNED MESSAGE—–
Hash: SHA256,SHA1

I am transitioning my gpg key from an old 1024-bit DSA key to a new
4096-bit RSA key. The old key will continue to be valid for some time,
since I have no reason to believe that my old key may have been
compromised, but I prefer all new correspondance to be encrypted in the
new one.

This transition document is signed with both keys to validate the
transition.

If you signed my old key, I would appreciate signatures on my new key as
well, provided that your signing policy permits that without
reauthenticating me.

The OLD key was:

pub 1024D/7BEBC6C7 2009-07-01 [expires: 2017-01-14]
Key fingerprint = FCF7 7D8C C5CA 2CEE BA04 C653 697B 4A6F 7BEB C6C7

And the NEW key is:

pub 4096R/C724C83C 2015-10-23 [expires: 2025-10-20]
Key fingerprint = F68E 8B9A 4F66 5A1B 5E35 DFA1 13C7 0A5E C724 C83C

To fetch my new key from a public key server, you can simply do:

gpg –keyserver pool.sks-keyservers.net –recv-key 0x13C70A5EC724C83C

If you already know my old key, you can now verify that the new key is
signed by the old one:

gpg –check-sigs 0x13C70A5EC724C83C

If you don’t already know my old key, or you just want to double check,
you can verify the fingerprint against the one above:

gpg –fingerprint 0x13C70A5EC724C83C

If you have both my keys, you can also verify that this document is
signed by both:

gpg –verify drdanz-transition-statement-20151024-signed.txt

If you are satisfied that you’ve got the right key, the UIDs match what you
expect, and if it’s compatible with your key signing policy, I’d appreciate it
if you would sign my key:

gpg –sign-key 0x13C70A5EC724C83C

Lastly, if you could upload these signatures, i would appreciate it.
You can either upload the signatures to a public keyserver directly:

gpg –keyserver pool.sks-keyservers.net –send-key 0x13C70A5EC724C83C

Or you can send me an e-mail with the new signatures (if you have
a functional MTA on your system):

gpg –armor –export 0x13C70A5EC724C83C | mail -s ‘OpenPGP Signatures’ ddomenichelli@drdanz.it

Please let me know if there is any trouble, and sorry for the
inconvenience.

Regards,
Daniele E. Domenichelli
—–BEGIN PGP SIGNATURE—–
Version: GnuPG v1

iQIcBAEBCAAGBQJWKtlOAAoJEBPHCl7HJMg8YtoP/RFdiILb/HDYdjhXihaPpcdq
cm2gxwgPaci+PCJRzHNM6wsCcT+q9On/+6Uo5T2GJ1zrD3tU86nuvLmolvmqfvgx
t71+KSv2NelMjR57FbMIjfDoHbsPo2FOoL6jkovQn7sWw++rPDevzZ9/bk2C9AUe
DE46SewY6gV2t2r30U46pWtEET8iKfi4LHpK4y02cfOmT+FXFYZG7Bo1vzOs8LsQ
XcNGRF6nIzw71Ng+RdzMuZTgGPA8Oru52ye5Am04ZeEaw8R9o/e7PsV2h/nwqA2H
qVhqVMjk1xgaucMW+XmxsMzrBjKhiPZrY/KjDynpfr7nH1Ud8QtFSUHoJgpb+KsU
v8pB3uQzFngF20AQsULAR/IIh1je8L6/UwrCeyIKnQs2FtAmBr1Gc/oBPCdULvxP
B9NxJ+8Rrk/XdcnU5FgDNeShc2BtiGBl/coolNTAGIgVYD/Cv20c3hZXO3U9GUr9
aYsWJfFjiGYm31OoB3eKp723WwulG5EtJGFwT44AujhPP8IgROpMcJpbIw8b+UJr
qznaSr/qBkniEVqyZXnzITZfN8CqP7Ufnd6E9SQMNxZ2mLPgyI2dJDjBP+ux4X9d
+mGsrDBqwww09+zV2Ou8Y+ykxHx9dGzD+T5b4IDqaJKVfElDSVr68NADWhCfX598
AhPNfTg9WRGO+Fdsi0iliJwEAQECAAYFAlYq2U4ACgkQLiFMXTq1e8unJgP9GEht
QBVv9OGsQMIYFe7XmGcQzuJCmx3WHgytoj4xVud03xyh4keP5ulagDt2QtE0L+fN
w0FtIje+GF5VCb1O62JQIhfRelN3OLLRJ7kUmbidx4Re43vG+kxHr2c0l7F8AFRZ
RtfHYKqXfmbNwnWz8OinAD7/SVsZodnVIty55U0=
=yYq7
—–END PGP SIGNATURE—–

KDevelop 4 rc3 – Kubuntu Karmic

Kdevelop 4 and kdevplatform rc3 .deb packages for Kubuntu Karmic 9.10 (with kde 4.4.2 from ppa:kubuntu-ppa/backports) are available on my kdevelop PPA. (Plugins will be coming in the next hours)

Kdevelop rc3 about dialog

Kdevelop rc3 about dialog

See my previous post for instructions…

KDevelop 4 rc1 + plugins – Kubuntu Karmic

Kdevelop 4 and kdevplatform rc1 .deb packages for Kubuntu Karmic 9.10 (with kde 4.4.2 from ppa:kubuntu-ppa/backports) are available on my kdevelop PPA.

Kdevelop rc1 about dialog

Kdevelop rc1 about dialog

You can add my kdevelop PPA running:

sudo add-apt-repository ppa:daniele.domenichelli/kdevelop
sudo apt-get update

Then to install kdevelop, just run

sudo apt-get install kdevelop

or if you installed beta9 packages from my PPA, just run

sudo apt-get update
sudo apt-get upgrade

As usual, on the same ppa you’ll find some kdevelop plugins:

Official release candidates:

kdevelop-plugin-php (rc1)
kdevelop-plugin-php-docs (rc1)

Official betas + patches from svn:

kdevelop-plugin-executebrowser (beta1+svn)
kdevelop-plugin-executescript (beta1+svn)
kdevelop-plugin-xdebug (beta1+svn)

From KDE Playgroud (warning: Source is taken from svn and it’s not supposed to be released yet, so it might not work or might break kdevelop install, so use them only if you know what you are doing…)

kdevelop-plugin-extragear-upload
kdevelop-plugin-playground-bazaar (not building at the moment)
kdevelop-plugin-playground-controlflowgraph
kdevelop-plugin-playground-coverage
kdevelop-plugin-playground-css
kdevelop-plugin-playground-gettersetter
kdevelop-plugin-playground-git
kdevelop-plugin-playground-mercurial
kdevelop-plugin-playground-qtdesigner
kdevelop-plugin-playground-valgrind
kdevplatformveritas

Please report me any bug in plugin packaging (missing dependencies, etc.) but report to the kdevelop developers bugs related to the plugin itself.

Cantor + R Backend – Kubuntu Karmic

“Cantor is an application that lets you use your favorite mathematical applications from within a nice KDE-integrated worksheet interface. It offers assistant dialogs for common tasks and allows sharing of worksheets with others. Available backends are Sage, Maxima, R, and KAlgebra.”

Sadly R backend is not supported in kubuntu (see here) because r-base package is in universe and therefore kde-edu package cannot depend on it.

Anyway, if you need R support, you probably already enabled universe repository, and you can find on my PPA with R backend.

To install it just add my PPA to your software sources (you also need kubuntu-ppa/backports repository enabled) and upgrade

sudo add-apt-repository ppa:daniele.domenichelli/ppa
sudo apt-get update
sudo apt-get upgrade

KDevelop 4 beta9 + plugins – Kubuntu Karmic

Kdevelop 4 and kdevplatform beta9 .deb packages for Kubuntu Karmic 9.10 (with kde 4.4.1 from ppa:kubuntu-ppa/backports) are available on my kdevelop PPA.

Kdevelop beta9 about dialog

Kdevelop beta9 about dialog

You can add my kdevelop PPA running:

sudo add-apt-repository ppa:daniele.domenichelli/kdevelop
sudo apt-get update

Then to install kdevelop, just run

sudo apt-get install kdevelop

or if you installed beta8 packages from my PPA, just run

sudo apt-get update
sudo apt-get upgrade

On the same ppa you’ll find some kdevelop plugins:

Official betas:

kdevelop-plugin-php (beta3)
kdevelop-plugin-php-docs (beta3)

Official betas + patches from svn:

kdevelop-plugin-executebrowser (beta1+svn)
kdevelop-plugin-executescript (beta1+svn)
kdevelop-plugin-xdebug (beta1+svn)

From KDE Playgroud (warning: Source is taken from svn and it’s not supposed to be released yet, so it might not work or might break kdevelop install, so use them only if you know what you are doing…)

kdevelop-plugin-playground-bazaar
kdevelop-plugin-playground-controlflowgraph
kdevelop-plugin-playground-coverage
kdevelop-plugin-playground-css
kdevelop-plugin-playground-gettersetter
kdevelop-plugin-playground-git
kdevelop-plugin-playground-mercurial
kdevelop-plugin-playground-valgrind
kdevplatformveritas
--- Edit: added right now
kdevelop-plugin-playground-qtdesigner
kdevelop-plugin-extragear-upload

Please report me any bug in plugin packaging (missing dependencies, etc.) but report to the kdevelop developers bugs related to the plugin itself.