From: Alexey Tourbin <at@altlinux.ru>
To: ALT Linux Team development discussions <devel@lists.altlinux.org>
Subject: Re: [devel] поддержка пакетов в git
Date: Sat, 27 Sep 2008 21:29:02 +0000
Message-ID: <20080927212902.GO22333@altlinux.org> (raw)
In-Reply-To: <20080927211954.GN22333@altlinux.org>
[-- Attachment #1: Type: text/plain, Size: 628 bytes --]
On Sat, Sep 27, 2008 at 09:19:54PM +0000, Alexey Tourbin wrote:
> > Не появилось ли у тебя идей, как искать прообразы каждого P относительно
> > функции B или хотя бы определять (без сборки), <S1,C1> =1 <S2,C2>, где
> > =1 - тогда, когда B(S1,C1) = B(S2,C2)? Факторизовать область определения
>
> Равенство =1 нельзя определить иначе, кроме как экстенсионально;
> то есть при S1!=S2 или С1!=С2 никакого равенства быть не может.
Но можно ввести отношение частичного порядка, которое означает
совместимость ранее собранных пакетов в более новой среде.
Пусть B(S,C1)->P1 и B(S,C2)->P2.
Тогда, если C1<C2, то P1<P2.
[-- Attachment #2: Type: application/pgp-signature, Size: 197 bytes --]
next prev parent reply other threads:[~2008-09-27 21:29 UTC|newest]
Thread overview: 62+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-09-24 10:50 Dmitry Afanasov
2008-09-24 11:42 ` Dmitriy M. Maslennikov
2008-09-24 12:06 ` Dmitry Afanasov
2008-09-24 12:25 ` Dmitriy M. Maslennikov
2008-09-24 12:59 ` Damir Shayhutdinov
2008-09-24 12:47 ` Damir Shayhutdinov
2008-09-24 13:42 ` Dmitriy M. Maslennikov
2008-09-24 14:42 ` Damir Shayhutdinov
2008-09-24 15:52 ` Dmitriy M. Maslennikov
2008-09-24 17:14 ` Led
2008-09-24 17:15 ` Andrey Rahmatullin
2008-09-24 17:36 ` Anton Farygin
2008-09-24 17:38 ` Andrey Rahmatullin
2008-09-24 20:39 ` Anton Farygin
2008-09-24 18:06 ` Led
2008-09-24 20:40 ` Anton Farygin
2008-09-24 17:28 ` Damir Shayhutdinov
2008-09-25 8:29 ` Dmitriy M. Maslennikov
2008-09-25 9:22 ` Damir Shayhutdinov
2008-09-25 9:59 ` Dmitriy M. Maslennikov
2008-09-25 10:50 ` Damir Shayhutdinov
2008-09-25 11:21 ` Dmitriy M. Maslennikov
2008-09-25 12:13 ` Damir Shayhutdinov
2008-09-25 12:37 ` Timur Batyrshin
2008-09-25 12:44 ` Damir Shayhutdinov
2008-09-25 14:29 ` Dmitriy M. Maslennikov
2008-09-25 14:43 ` Timur Batyrshin
2008-09-25 15:19 ` Dmitriy M. Maslennikov
2008-09-25 15:33 ` Damir Shayhutdinov
2008-09-25 17:35 ` Alexey I. Froloff
2008-09-26 6:56 ` Dmitriy M. Maslennikov
2008-09-26 8:35 ` Alexey I. Froloff
2008-09-25 14:51 ` Led
2008-09-25 15:32 ` Dmitriy M. Maslennikov
2008-09-25 15:36 ` Damir Shayhutdinov
2008-09-25 16:10 ` Dmitriy M. Maslennikov
2008-09-25 16:11 ` Dmitriy M. Maslennikov
2008-09-25 15:31 ` Damir Shayhutdinov
2008-09-25 16:07 ` Dmitriy M. Maslennikov
2008-09-25 12:28 ` Aleksey Avdeev
2008-09-24 17:12 ` Led
2008-09-24 19:20 ` Vitaly Lipatov
2008-09-25 16:35 ` Alexey Tourbin
2008-09-25 16:53 ` Dmitriy M. Maslennikov
2008-09-25 17:23 ` Alexey Tourbin
2008-09-26 7:04 ` Dmitriy M. Maslennikov
2008-09-27 20:50 ` Alexey Tourbin
2008-09-27 20:57 ` Mikhail Gusarov
2008-09-27 21:13 ` Alexey Tourbin
2008-09-27 21:04 ` Mikhail Gusarov
2008-09-27 21:19 ` Alexey Tourbin
2008-09-27 21:29 ` Alexey Tourbin [this message]
2008-09-28 6:08 ` Dmitriy M. Maslennikov
2008-09-28 5:55 ` Kirill A. Shutemov
2008-09-30 13:55 ` Ivan A. Melnikov
2008-09-30 14:12 ` Mykola S. Grechukh
2008-09-30 14:37 ` Ivan A. Melnikov
2008-09-30 14:53 ` Mykola S. Grechukh
2008-09-30 15:59 ` Ivan A. Melnikov
2008-09-30 15:50 ` Alexey Tourbin
2008-09-30 16:10 ` Ivan A. Melnikov
2008-09-30 16:55 ` Alexey Tourbin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080927212902.GO22333@altlinux.org \
--to=at@altlinux.ru \
--cc=devel@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Team development discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/devel/0 devel/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 devel devel/ http://lore.altlinux.org/devel \
devel@altlinux.org devel@altlinux.ru devel@lists.altlinux.org devel@lists.altlinux.ru devel@linux.iplabs.ru mandrake-russian@linuxteam.iplabs.ru sisyphus@linuxteam.iplabs.ru
public-inbox-index devel
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.devel
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git