Wikipedia:Articles for deletion/MGPL

This page is an archive of the discussion about the proposed deletion of the article below. This page is no longer live. Further comments should be made on the article's talk page rather than here so that this page is preserved as an historic record.

The result of the debate was No consensus. dbenbenn | talk 04:05, 23 Feb 2005 (UTC)

MGPL

Nobody actually uses this term, and it's not the official name. Novalis 03:00, 11 Feb 2005 (UTC)

GNAT Licence

All Ada programmers know the Licence under the name of "Modified GPL" and the shortcut "MGPL". This is because - just like the Linux kernel - GNAT has a build in licence check via the pragma License command and pragma License (Modified_GPL); is used activate the licence check.

So while your naming is prehaps politicly correct - it's not what the user will type into the search box.

Also, not all of Ada is Modified GPL - i.E. packages derived from ISO 8652 are "unrestriced".

The reason for the MGPL and pragma License is clear: GNAT is closed source projects as well. And we are quite happy with that - those closed source users pay quite a lot of money which then goes into the further development of GNAT.

My votes:

delete Modified GNU General Public License - mistake of mine - delete.
keep The rest should stay as redirect.

Keep MGPL as redirect. If this is proposed for deletion, it should go to Wikipedia:redirects for deletion anyway, not here. Andrewa 14:21, 11 Feb 2005 (UTC)
Keep as redirect of type Template:R from abbreviation Courtland 03:30, 2005 Feb 12 (UTC)
Delete. This refers to the modified GPL used by GNU Ada. It is a double redirect to License of GNU Ada. Misleading acronym which is not of encyclopedic interest, even if the minor modification to the GPL contained in the Ada License is, which is very debatable. --BM 02:35, 15 Feb 2005 (UTC)

Actualy there are 4 pages to be discussed here MGPL, Modified GNU General Public License, GNU Modified General Public License and License of GNU Ada. Partly my mistake (is't there a shortcut for deleting pages resulting of a typing mistake). --Krischik 08:03, 15 Feb 2005 (UTC)

This page is now preserved as an archive of the debate and, like some other VfD subpages, is no longer 'live'. Subsequent comments on the issue, the deletion, or the decision-making process should be placed on the relevant 'live' pages. Please do not edit this page.