taskSavannah Administration - Tasks: task #16542, Submission of Ajla

 
 

task #16542: Submission of Ajla

Submitter:  Mikulas Patocka <mikulas>
Submitted:  Sun 19 May 2024 09:54:18 PM UTC
   
 
Should Start On:  Sat 18 May 2024 10:00:00 PM UTC Should be Finished on:  Tue 28 May 2024 10:00:00 PM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  ineiev Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Mon 27 May 2024 08:53:18 AM UTC, comment #5: 

Thank you, cancelling.

Ineiev <ineiev>
Site Administrator
Sat 25 May 2024 07:58:55 PM UTC, comment #4: 


> > I intend to use the domain www.ajla-lang.cz as the primary home page of
> > the Ajla project.
> >
> > But I also need git hosting and I would use Savannah for that -
> > Savannah wouldn't be mirror or backup, it would be the main git
> > repository for Ajla (while the WWW homepage would be www.ajla-lang.cz)
> > - is it OK to use it this way?
>
> If you need just Git, you could consider using a simpler service like
> repo.or.cz.


OK, I uploaded my git to repo.or.cz

Mikulas Patocka <mikulas>
Tue 21 May 2024 07:39:38 AM UTC, comment #3: 


> The files that don't contain copyright and license notices are generated.


Files like README don't look like generated.

> Does copyright apply to generated files?


It depends.  If I generate a tarball from Emacs sources, it will be copyrighted by the FSF.  If I generate a file with a command like yes | head -n 83521 > file, then it will not be copyrightable; however, even when some file is public domain or uncopyrightable, it's useful to add a note clarifying that.

> For example, I took GNU binutils, I wrote a script that extracts the encoding of ARM64 constants and I put the result to the files arm64-w.inc and arm64-x.inc. Who owns the copyright of these files? Me? Binutils authors? Nobody (because a table of numbers can't be copyrighted)? Please, describe how to properly attribute copyright in cases like this.


Generally, the derived works inherit the copyright status of the works they are derived from.

> I intend to use the domain www.ajla-lang.cz as the primary home page of the Ajla project.
>
> But I also need git hosting and I would use Savannah for that - Savannah wouldn't be mirror or backup, it would be the main git repository for Ajla (while the WWW homepage would be www.ajla-lang.cz) - is it OK to use it this way?


If you need just Git, you could consider using a simpler service like repo.or.cz.

Ineiev <ineiev>
Site Administrator
Mon 20 May 2024 08:23:13 PM UTC, comment #2: 

comment #1:

> A few files in your tarball miss valid copyright and license notices;


The files that don't contain copyright and license notices are generated. Does copyright apply to generated files?

For example, I took GNU binutils, I wrote a script that extracts the encoding of ARM64 constants and I put the result to the files arm64-w.inc and arm64-x.inc. Who owns the copyright of these files? Me? Binutils authors? Nobody (because a table of numbers can't be copyrighted)? Please, describe how to properly attribute copyright in cases like this.

> in those that do include a copyright notice, its form doesn't match what we
> use.  Please check savannah.gnu.org/maintenance/ValidNotices/.


ok, I can fix that.

> original submission:
> > == Other Comments: ==
> > I would like to host the Ajla git repository on Savannah.
>
> We don't require all parts of the project to be hosted at Savannah, but we expect that
> it will be used primarily (e.g. not as a mirror or backup).


I intend to use the domain www.ajla-lang.cz as the primary home page of the Ajla project.

But I also need git hosting and I would use Savannah for that - Savannah wouldn't be mirror or backup, it would be the main git repository for Ajla (while the WWW homepage would be www.ajla-lang.cz) - is it OK to use it this way?

Mikulas Patocka <mikulas>
Mon 20 May 2024 11:44:26 AM UTC, comment #1: 

A few files in your tarball miss valid copyright and license notices; in those that do include a copyright notice, its form doesn't match what we use.  Please check savannah.gnu.org/maintenance/ValidNotices/.

original submission:

> == Other Comments: ==
> I would like to host the Ajla git repository on Savannah.


We don't require all parts of the project to be hosted at Savannah, but we expect that it will be used primarily (e.g. not as a mirror or backup).

Ineiev <ineiev>
Site Administrator
Sun 19 May 2024 09:54:18 PM UTC, original submission:  

A new group has been registered at Savannah.
This group will remain inactive until a site admin approves
or discards the registration.


Registration Administration


Approving or discarding the registration must be done using the specific
Group administration page, accessible only to site
administrators logged in as superusers.

Registration Details


  • Name: Ajla
  • System Name:  ajla
  • Type: non-GNU software and documentation
  • License: GNU General Public License v3 or later (contains mini-gmp, a minimalistic implementation of a GNU GMP subset.

Copyright 1991-1997, 1999-2019 Free Software Foundation, Inc.
The GNU MP Library is free software; you can redistribute it and/or modify
it under the terms of either:
  * the GNU Lesser General Public License as published by the Free
    Software Foundation; either version 3 of the License, or (at your
    option) any later version.
or
  * the GNU General Public License as published by the Free Software
    Foundation; either version 2 of the License, or (at your option) any
    later version.
or both in parallel, as here.

Unicode conversion tables are (C) Unicode Inc.
https://www.unicode.org/copyright.html)




Description:

Ajla is a purely functional programming language that has look-and-feel like traditional imperative languages. The return value of every function in Ajla depends only on its arguments. Ajla has mutable local variables and control flow statements (if, while, for, goto) that are known from imperative languages. Ajla doesn't have mutable global variables because they break purity and they may be subject to race conditions. Ajla is memory-safe — i.e. you can't create a segmentation fault in Ajla. Ajla doesn't have garbage collection; it uses reference counts to track allocated memory. Ajla has mutable arrays — if the array reference count is one, it is mutated in place, if it is different from one, a copy of the array is created.


Other Software Required:

(optional) libgmp - GNU LGPL v3 and GNU GPL v2 - https://gmplib.org/
(optional) libffi - https://github.com/libffi/libffi/blob/master/LICENSE - https://sourceware.org/libffi/
(optional) libquadmath - GNU Library General Public License 2+ - https://gcc.gnu.org/onlinedocs/libquadmath/


Other Comments:

I would like to host the Ajla git repository on Savannah.


Tarball URL:

https://ajla-lang.cz/downloads/ajla-0.0.0.tar.gz


Mikulas Patocka <mikulas>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by ineiev (Posted a comment)
  • -email is unavailable- added by mikulas (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2024-05-27 ineiev StatusIn Progress Cancelled
        Open/ClosedOpen Closed
    2024-05-20 ineiev StatusNone In Progress
        Assigned toNone ineiev

    Back to the top

    Powered by Savane 3.13-12ab.
    Corresponding source code