PackageInfo.g: add License field; some cleanup

FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory

http://www.algebra.uni-linz.ac.at/~kliemann/Predicata/

GNU General Public License v3.0

0 stars 1 forks source link

PackageInfo.g: add License field; some cleanup #7

Closed fingolfin closed 1 year ago

fingolfin commented 4 years ago

@FKlie ping -- will you consider merging the four open PRs for your package? Or is it dead?

olexandr-konovalov commented 4 years ago

@FKlie is not even watching this repository. I wonder if these pings were actually read...

fingolfin commented 4 years ago

@ messages should normally always be delivered, even if one is not watching. I experienced this myself multiple times when people accidentally used it on me with completely unrelated projects.