Bug#941367: RFS: z3 4.8.6-1 -- theorem prover from Microsoft Research
On 10/4/19 11:44 PM, Gianfranco Costamagna wrote:
>>My changes are on Salsa (I'll push to the actual repository once somebody has given
>>me sufficient ("Maintainer") permissions to do so), and also on Mentors:
>>
>> https://salsa.debian.org/wolff-guest/z3
>> https://mentors.debian.net/package/z3
>
> you are now member of the group, and I merged your PR, please make sure it is correct!
Looks good to me, thanks!
> also,
> dcut -k 92978A6E195E4921825F7FF0F34F09744E9F5DD9 ssh-upload dm --uid fabi.wolff@arcor.de --allow z3
> Uploading commands file to ssh.upload.debian.org (incoming: /srv/upload.debian.org/UploadQueue/)
> Picking DM Fabian Wolff <fabi.wolff@arcor.de> with fingerprint 4C22AB203E83493607A16E4480AD73734275BDAF
> SCP is deprecated. Please consider upgrading to SFTP.
> Uploading locutus-1570225216.dak-commands to ssh-upload
>
> you proved to be a good maintainer, providing good packages to sponsor, keeping the package in a perfect shape, without need to review changes.
>
> You deserve to upload it by yourself, even if in this case a DD upload was needed in any case :)
>
> keep up the wonderful work you are doing here!
Fantastic, thank you! I am flattered by your praise, and I'll try to live up to it.
Best,
Fabian
Reply to: