Bug#1040380: ITP: spike -- Spike RISC-V ISA Simulator

2023-07-05 Thread Jax Young
Package: wnpp
Severity: wishlist
Owner: Jax Young 
X-Debbugs-Cc: debian-de...@lists.debian.org, jaxvany...@gmail.com

* Package name: spike
  Version : 1.1.0
  Upstream Author : Andrew Waterman 
* URL : https://github.com/riscv-software-src/riscv-isa-sim
* License : Custom license
  Programming Lang: C, C++
  Description : Spike RISC-V ISA Simulator

Spike has been published for several years, with the development of
RISC-V, I think it should be included in Debian packages.
 - Spike is developed by the official RISC-V organization. It is a good
   reference for RISC-V ISA Simulator, and it has 1.8K stars on GitHub.
 - QEMU also supports RISC-V ISA simulation, but it acts more for
   virtual environment. Spike focus on RISC-V, and it is more for
 developing.
 - I am new to package maintenance, so I need a sponsor. Spike's API is
   fairly stable, the last version was released on Dec 17, 2021. But the
 development is still ongoing. So the maintenance should be easy for a
 noob like me.



Processed: RFS: odr-dabmod/2.6.0-1 [ITP] -- DAB modulator compliant to ETSI EN 300 401

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

> block 1007104 by 1040419
Bug #1007104 [wnpp] ITP: odr-dabmod -- ODR-DabMod is a DAB (Digital Audio 
Broadcasting) modulator compliant to ETSI EN 300 401
1007104 was blocked by: 1010004
1007104 was not blocking any bugs.
Added blocking bug(s) of 1007104: 1040419
>
End of message, stopping processing here.

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



Processed: RFS: odr-audioenc/3.3.1-1 [ITP] -- DAB and DAB+ encoder that integrates into the ODR-mmbTools

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

> block 1008124 by 1040422
Bug #1008124 [wnpp] ITP: odr-audioenc -- DAB and DAB+ audio encoder that 
integrates into the ODR-mmbTools
1008124 was blocked by: 1022168 1008882
1008124 was not blocking any bugs.
Added blocking bug(s) of 1008124: 1040422
>
End of message, stopping processing here.

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



Bug#1040433: RFA: anki - flashcard learning program, has migrated to Rust/Python/JavaScript combination

2023-07-05 Thread Julian Gilbey
Package: wnpp
Severity: normal
X-Debbugs-Cc: debian-r...@lists.debian.org

Anki is a superb flashcard system for learning anything.  It used to
be a straightforward Python package with some JavaScript for the front
end.  But over the last couple of years, it has migrated to a
combination of Rust, Python and JavaScript (using node).  (It went via
the unpackaged Bazel package building system, but it's now migrated
away from that.)

I do not have the capacity to maintain this lovely package now that it
has become significantly more complex.  It is currently in unstable at
version 2.1.15, which was a Python-only version (plus a bit of
JavaScript).  It no longer builds on testing, and did not make it into
bookworm; upstream is now at 2.1.65.

I have had several requests to update the package and bring it back
into Debian, both via the BTS and via personal emails.

If anyone would like to pick up where I left off, please do let me
know.  I'd be happy to share with you what I learnt from the Python
version, but how relevant that will be for the new
Rust/Python/JavaScript incarnation, I do not know.  (And I don't know
how many other dependencies will need to be packaged from scratch,
unfortunately.  And one further complication is that Cargo.toml also
lists three forked crates)

Many thanks!

   Julian



Bug#1036349: I intend to adopt the gdb-msp430

2023-07-05 Thread Thiago Marques
retitle 1036349 ITA: gdb-msp430 -- The GNU debugger for MSP430


Hi,
I saw that the package is orphan, I'd like to adopt.
Regards,


--
*   Thiago Marques.*


Processed: ITA: gdb-msp430 -- The GNU debugger for MSP430

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

> retitle 1036349 ITA: gdb-msp430 -- The GNU debugger for MSP430
Bug #1036349 [wnpp] O: gdb-msp430 -- The GNU debugger for MSP430
Changed Bug title to 'ITA: gdb-msp430 -- The GNU debugger for MSP430' from 'O: 
gdb-msp430 -- The GNU debugger for MSP430'.
>
End of message, stopping processing here.

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



Processed: ITA: gcc-msp430 -- GNU C compiler (cross compiler for MSP430)

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

> retitle 1036350 ITA: gcc-msp430 -- GNU C compiler (cross compiler for MSP430)
Bug #1036350 [wnpp] O: gcc-msp430 -- GNU C compiler (cross compiler for MSP430)
Changed Bug title to 'ITA: gcc-msp430 -- GNU C compiler (cross compiler for 
MSP430)' from 'O: gcc-msp430 -- GNU C compiler (cross compiler for MSP430)'.
>
End of message, stopping processing here.

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



Bug#1040380: ITP: spike -- Spike RISC-V ISA Simulator

2023-07-05 Thread Jessica Clarke
On Wed, Jul 05, 2023 at 05:17:29PM +0800, Jax Young wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Jax Young 
> X-Debbugs-Cc: debian-de...@lists.debian.org, jaxvany...@gmail.com
>
> * Package name: spike
>   Version : 1.1.0
>   Upstream Author : Andrew Waterman 
> * URL : https://github.com/riscv-software-src/riscv-isa-sim
> * License : Custom license
>   Programming Lang: C, C++
>   Description : Spike RISC-V ISA Simulator
>
> Spike has been published for several years, with the development of
> RISC-V, I think it should be included in Debian packages.
>  - Spike is developed by the official RISC-V organization. It is a good
>reference for RISC-V ISA Simulator, and it has 1.8K stars on GitHub.
>  - QEMU also supports RISC-V ISA simulation, but it acts more for
>virtual environment. Spike focus on RISC-V, and it is more for
>developing.
>  - I am new to package maintenance, so I need a sponsor. Spike's API is
>fairly stable, the last version was released on Dec 17, 2021. But the
>development is still ongoing. So the maintenance should be easy for a
>noob like me.
>

I disagree. Spike exists to be an easy simulator for people extending
the RISC-V ISA to hack on, and to give software developers something to
start testing their code on as extensions are in-flight (both of which
are also served by the Sail model, which is technically the official
golden model, even if many still prefer to use Spike). However, if
you're not using the latest version, any draft extension specifications
implemented by it have likely moved on in the meantime to newer
incompatible drafts, rendering them obsolete, and any frozen (or even
ratified) specifications are likely to be implemented by QEMU. Plus QEMU
will be much, much faster thanks to its JIT approach, and has a rich set
of devices available, unlike Spike which has just a UART last I checked,
not even any form of storage, meaning it can only run basic binaries or
boot kernels with an in-memory filesystem.

I therefore do not see any point in shipping some old version of Spike
in Debian. What is your use case for having it?

Jess



Bug#1040380: ITP: spike -- Spike RISC-V ISA Simulator

2023-07-05 Thread Jax Young
On Thurs, Jul 06, 2023 at 07:33, Jessica Clarke  wrote:

> > I disagree. Spike exists to be an easy simulator for people extending

> > the RISC-V ISA to hack on, and to give software developers something to

> > start testing their code on as extensions are in-flight (both of which

> > are also served by the Sail model, which is technically the official

> > golden model, even if many still prefer to use Spike). However, if

> > you're not using the latest version, any draft extension specifications

> > implemented by it have likely moved on in the meantime to newer

> > incompatible drafts, rendering them obsolete, and any frozen (or even

> > ratified) specifications are likely to be implemented by QEMU. Plus QEMU

> > will be much, much faster thanks to its JIT approach, and has a rich set

> > of devices available, unlike Spike which has just a UART last I checked,

> > not even any form of storage, meaning it can only run basic binaries or

> > boot kernels with an in-memory filesystem.

> >

> > I therefore do not see any point in shipping some old version of Spike
> in Debian. What is your use case for having it?

I just want to provide a way to get pre-built Spike for people who may
need that. As you say, it's useless for people who need hacking Spike.
Also for people who just want to run RISC-V binary. I will use a unofficial
way like PPA for this. So you can close this bug.

Thanks for your explanation. Sorry for bothering.