Processed: Re: Bug#752221: [axiom] Some sources are not included in your package

2014-07-16 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org:

 severity 752221 important
Bug #752221 [axiom] [axiom] Some sources are not included in your package
Severity set to 'important' from 'serious'
 thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
752221: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752221
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#752221: [axiom] Some sources are not included in your package

2014-07-16 Thread Camm Maguire
severity 752221 important
thanks

Greetings!  And thank you again for all your work on Debian and free
software!


Ansgar Burchardt ans...@debian.org writes:

 Control: reopen -1

 Camm Maguire c...@maguirefamily.org writes:
 The file alleged to be problematic:

 src/axiom-website/axiomgraph/js/arbor.js

 I respectfully disagree according to source it is minified from at least:

 *   etc.js
 *   kernel.js
 *  atoms.js
 *  system.js
 *  physics.js
 Greetings!  Respectfully, comments /* etc.js */ are proof of no such
 thing.

 Umm, the very comments that says which files it is generated from is
 proof that it is not a generated file?

Indeed, how do we know from the comments that the alleged output has not
been edited, making it the 'original source'?

I agree that the comments and the formatting are suggestive.  I think
from your use of the word 'might' below that we are in agreement here.


 Also please take a look at [1]. That might be the actual source for the
 line with /* kernel.js */ (minus version and so on).

   [1] https://github.com/samizdatco/arbor/blob/master/src/kernel.js


This makes things clearer -- thanks!  In general, to establish this
case, I think one needs either

1) the original sources together with the program that produces the file
in question, or
2) a claim by the original author that these files are simply machine
output from other files.

I've done some spot checking, and the correspondence appears close, but
not exact.  In any case, I'm including the mentioned sources in the next
axiom upload, as they are published under the free MIT license in any
case. 

 Note that the source version has whitespace, informative variable names
 and comments. These are all stripped by the minimization compiler
 (which translates Javascript into Javascript).

While I certainly share the goal of having source that is easily
readable by a human, I do wonder at the original claim that including
source in 'minimized' format somehow violates copy-left.  Where do we
get this idea?  I can assure you that lines of code I've contributed,
including assembler, look far more forbidding and less readable than
this javascript.  If we do not use the standard of 'compiling into the
executable' as the standard, whose human beauty standards are we going
to use?  What about C beautifiers, or even emacs auto-indent?

Take care,


 Ansgar





-- 
Camm Maguirec...@maguirefamily.org
==
The earth is but one country, and mankind its citizens.  --  Baha'u'llah


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#752221: [axiom] Some sources are not included in your package

2014-07-12 Thread Ansgar Burchardt
Control: reopen -1

Camm Maguire c...@maguirefamily.org writes:
 The file alleged to be problematic:

 src/axiom-website/axiomgraph/js/arbor.js

 I respectfully disagree according to source it is minified from at least:

 *   etc.js
 *   kernel.js
 *  atoms.js
 *  system.js
 *  physics.js
 Greetings!  Respectfully, comments /* etc.js */ are proof of no such
 thing.

Umm, the very comments that says which files it is generated from is
proof that it is not a generated file?

Also please take a look at [1]. That might be the actual source for the
line with /* kernel.js */ (minus version and so on).

  [1] https://github.com/samizdatco/arbor/blob/master/src/kernel.js

Note that the source version has whitespace, informative variable names
and comments. These are all stripped by the minimization compiler
(which translates Javascript into Javascript).

Ansgar


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Processed: Re: Bug#752221: [axiom] Some sources are not included in your package

2014-07-12 Thread Debian Bug Tracking System
Processing control commands:

 reopen -1
Bug #752221 {Done: Camm Maguire c...@maguirefamily.org} [axiom] [axiom] Some 
sources are not included in your package
Bug reopened
Ignoring request to alter fixed versions of bug #752221 to the same values 
previously set

-- 
752221: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=752221
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems


--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#752221: [axiom] Some sources are not included in your package

2014-06-21 Thread Bastien ROUCARIES
Package: axiom
Version: 20120501-14
user: debian...@lists.debian.org
usertags: source-is-missing
severity: serious
X-Debbugs-CC: ftpmas...@debian.org

Hi,

Your package seems to include some files that lack sources
in prefered forms of modification:

src/axiom-website/axiomgraph/js/arbor.js

According to Debian Free Software Guidelines [1] (DFSG) #2:
 The program must include source code, and must allow distribution
  in source code as well as compiled form..

This could also constitute a license violation for some copyleft
licenses such as the GNU GPL.

In order to solve this problem, you could:
1. repack the origin tarball adding the missing source to it.
2  add the source files to debian/missing-sources directory

Both way satisfies the requirement that we ship the source. Second option
might be preferable due to the following reasons [2]:
 - Upstream can do it too and you could even supply a patch to them,
thus full filling our social contract [3], see particularly ยง2.
 - If source and non-source are in different locations, ftpmasters may
   miss the source and (needlessly) reject the package.
 - The source isn't duplicated in every .diff.gz/.debian.tar.* (though
   this only really matters for larger sources).

You could also ask debian...@lists.debian.org or #debian-qa for more
guidance.

[1] https://www.debian.org/social_contract.en.html#guidelines
[2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736873#8
[3] https://www.debian.org/social_contract


--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org