Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 18785 Details for
Bug 30394
New ebuild: ProofGeneral, a proof assistant mode for emacs
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
ebuild package
ProofGeneral.tar.gz (text/plain), 1.15 KB, created by
Matthieu Sozeau (RETIRED)
on 2003-10-05 07:54:42 UTC
(
hide
)
Description:
ebuild package
Filename:
MIME Type:
Creator:
Matthieu Sozeau (RETIRED)
Created:
2003-10-05 07:54:42 UTC
Size:
1.15 KB
patch
obsolete
>C/?íXmoÛ6Î×èWÔM٦ޥƪ#Ô±=ÛÁÐO%Q¶6Yt%ºid¿}GÙq^®k³ ÓÉãñxÏyò°à<é²4kmýbDzðI4Ç"7WØ"c¢;nnM³{¬dÏ-,KA9Ê=5þÅð&ÿ7 £i6Y¸L³øï®A4BlÓ|]3ô ÿº©¡¼eúï±Á§ð?çÿòÅyNg4Ïó:!`Îa¢YÎ3>MYùyÔT^@'-EKÁbXæ1+@ÌVÌKàIÕèöO`F0\YA/X^2ø¤£#Fqâ+ØQqp<ìù§~/Û/ó4{©¤ù©¥å¥ãGÁpúmµÑö´ >SÙÀ5ÒHhÄ á,*AZh/ÍE©*GcxÐõÛêLÅ«Vëìì¬YMWê¼¶Te<:<=í\/:ÍéUé~»Ã^CG ½Á¤Uyïøe0êÛêï][{úýN[ýb)Çæ4BÓØ¹@Ñ÷`t)÷/eo0ñß=¿m4¦?M)JYD§/ÒíîÁ ²ÍÒ<á ¾=VT¤<(/$sçLÀnÉXÅWÐOz=HPɪ\®´¦9:.ËVZ¥Gã´@ÑÆår\å#AåÝÑRàHÌæ\vÎxæ¹°ñÏ ÎXD®lÇ\ÙÞbØA¥øVQÝX¯Õö[röWbͦ3e-Y¦5¤¹7æHG×î»rÜ¥6óbµö7^]Lå`åU|Ý}!îªc0ò:Çþ>LL£1¼=éáðè ßõñ9~ú]xwðóÆ#¿'þH:tñÛôtÁÑ3hî§ëý¹an1¹^ç|YÀ{0oG?²*é;c!PñJÝhx,r7¯'l"áÊä*ª4ó*æUâãj;ÅüÍ\*ÿôÉVãkpëþ?¦y°ò{_tOÜÿÄÐyÿkcµUßÿÏãMKO÷³BÍö-±(ñLÔ àº²R@Ü8L";´mØ^Y¡äÓó´NX&eë¡K4Tz<j;nèÚaS,c7b¡é±gèÉs'N§¤»VíÖÎ_Åü_¹÷»¯ñßÿ6qLÓtlÔßÏ{ø(M¿y§Î]·ïðïQÿÏåõë×wªÊª«>½"'étYT "E±P!ã4n,¨Á. ¾õ¶ü{ÓZ¨×B{{ÊnÕ¨jÊ{d[U¼UÕ#ºõ1þl¸'ÿ¸^¿}§ò_#æúÏvìºþ{ȲË5M¨í&$rÃ%$ÔcjPêzdh±óçúoõ¿Ö}ºK:[kÔ¨Q£F5jÔ¨Q£F5þÅø&º (
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 30394
:
18785
|
18805
|
18806