Syntax of tasks files / team maintenance (Was: [SCM] science branch, master, updated. ca27ca0c4697e5e00ca451ff96a35dd3796b6727)
Hi Ralf,
thanks for working on the Debian Science logic task. As the commit log
below says I have added some spacing. May be I need to make the docs a
bit more verbose about this (suggested phrasings are welcome).
Currently I have a cron job running on blends.debian.NET that realises
changes on tasks files and is rerendering the web sentinel pages, so you
can after about 5min see the result of your edits for instance in this
specific case here:
http://blends.debian.net/science/tasks/logic
(Once this works reliable this job will also be installed at
blends.debian.ORG.)
When looking at the tasks page I notice that several packages are
maintained by individuals (prover9 even only by QA team). It might make
sense to invite those individuals either to join Debian Science team or
if you are self-confident enough create a Debian logic team. At least
this is what I did in Debian Med and it was considered as quite
successful.
Kind regards
Andreas.
On Tue, Dec 17, 2013 at 09:42:28AM +0000, Andreas Tille wrote:
> The following commit has been merged in the master branch:
> commit ca27ca0c4697e5e00ca451ff96a35dd3796b6727
> Author: Andreas Tille <tille@debian.org>
> Date: Tue Dec 17 10:46:22 2013 +0100
>
> You can only have one Depends per paragraph - so add blank lines inbetween the Depends; spelling s/Recommands/Recommends/
>
> diff --git a/tasks/logic b/tasks/logic
> index fc07026..986497d 100644
> --- a/tasks/logic
> +++ b/tasks/logic
> @@ -7,48 +7,66 @@ Description: Debian Science Logic packages
>
> X-Begin-Category: proof assistants
> Depends: agda
> +
> Depends: coq
> +
> Depends: hol-light
> +
> Depends: hol88
> +
> Depends: matita
> +
> Depends: proofgeneral
> X-End-Category: proof assistants
>
> X-Begin-Category: SAT and QBF solvers
> Depends: depqbf
> +
> Depends: picosat
> +
> Depends: sat4j
> X-End-Category: SAT and QBF solvers
>
> X-Begin-Category: SMT solvers
> Depends: alt-ergo
> +
> Depends: boolector
> +
> Depends: cvc3
> X-End-Category: SMT solvers
>
> X-Begin-Category: first-order and equational solvers
> -Recommands: otter
> +Recommends: otter
> +
> Depends: prover9
> X-comment: prover9 supersedes otter ?
> +
> Depends: mace2
> +
> Depends: maude
> +
> Depends: spass
> X-End-Category: first-order and equational solvers
>
> X-Begin-Category: integer programming solvers
> Depends: coinor-cbc
> +
> Depends: minisat+
> X-Comment: minisat2 is only a transitional package
> X-End-Category: integer programming solvers
>
> X-Begin-Category: answer set programming
> Depends: clasp
> +
> Depends: coala
> +
> Depends: gringo
> X-End-Category:
>
> X-Begin-Category: reasoning about automata
> Depends: lbt
> +
> Depends: maria
> +
> Depends: mona
> X-End-Category: reasoning about automata
>
> --
> Debian Science Blend
>
> _______________________________________________
> Blends-commit mailing list
> Blends-commit@lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/blends-commit
>
--
http://fam-tille.de
Reply to: