texlive-logicproof-11:svn33254.0-69.fc39 >t 6 6_604 @3!92d LuZLd0} uZLMv-tu2=^0!;;jU5KsS)"حUdbIٖ8T҄4"zC«aրocn#Sre!($RNؿnvV#gW6hDƒz C?#']:#L^E s݀k԰5mK}>c=`=]O.X?{]Neu7D2 xg`,8^n;2RcZX-G\0+Fe^ ~~4^*gv] ObH-z@'рE[b~¤"A95E9_,5";1)dZ=;Sha;sBs^yv%Uxr(+q_JՃ  d-n0fKG~IwOJ0\mr\~p´qor=\,N' Q,FS M X8ed868c6ae3c1fe1634ebdb6718c1760ac768ed1146a9102eac2dbf0fb5a94b9f5fe8f46b59578e34acb21354a3cf083aa3fc7fff7030204388b603e004630440220115b03c266b5b86c154887f9ba5e1f1cc545aba38813bbf29c30f4c7ebfe269102202b677136068aac3a6eb4bb53c36db8a5fd8581bb45c9168989523b7afed35aad030204388b603e00473045022100d6b74b10d8cd40393da9074066541e610a952ba049ba055d9252c9ee99f165de0220251d42ed8d241e99d2e7d52e2c04d3c0fec39255493b10cb3051c6face52b5a093!92d LuZLd0} uZLTfZ:)JQ@9]wdzq "*ЄBWuǚ硾A,ZHC<孉255{wV} dM?Ay kysZ! DpAN`bXG YU|E rՍ?*.^ﱖ)L)o[ÈSc#T!@l`' |'֢G.۲!?a.J @QpZ]zRgW<Ѥ-l5e!,UA  4W{i!@ʎ!YuǝÉp*o#,tqܜϽˀꌓ2vC[5Ct"]鑳7Lo"gERtWMP.*C-<*\Euvݴ[1U(@&ªav]iRY U&JMkv0qJCb{׀B`MW&3 Gw2"5_|(\D,?wor`>`<]?Md ( , ] .8 GSkqx    , 0@Th   (89P: |G<HLI\X`Yl\]^bode"f'l*tDuTvd Ctexlive-logicproofsvn33254.069.fc39 Box proofs for propositional and predicate logicA common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in "Logic in Computer Science" by Huth and Ryan.d&buildvm-a64-06.iad2.fedoraproject.org]Fedora ProjectFedora ProjectLPPL-1.3cFedora ProjectUnspecifiedhttp://tug.org/texlive/linuxnoarchJAA큤A큤d$Q3d$S,45f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbf2f6ea982eac19e1c7d94a2cc533cf6f0c2e347f0e364839580e61c8bb7d5d1drootrootrootrootrootrootrootroottexlive-2023-69.fc39.src.rpmtex(logicproof.sty)tex-logicprooftexlive-logicproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(array.sty)tex(ifthen.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.1d%yd"d?@d @c@cc^cc(Yc*b@bb@bV@b4t@b/.@a a a@aaq@a@a@a9@a`@`"@`@`@`q`eJerry James - 11:2023-69Tom Callaway - 11:2023-68Tom Callaway - 11:2023-67Tom Callaway - 10:2022-66Tom Callaway - 10:2022-65Fedora Release Engineering - 10:2022-64Tom Callaway - 10:2022-63Tom Callaway - 10:2022-62Than Ngo - 9:2021-61Petr Pisar - 9:2021-60Frantisek Zatloukal - 9:2021-59Fedora Release Engineering - 9:2021-58Jiri Vanek - 9:2021-57Than Ngo - 9:2021-56Tom Callaway - 9:2021-55Petr Pisar - 9:2021-54Tom Callaway - 9:2021-53Tom Callaway - 9:2021-52Tom Callaway - 9:2021-51Fedora Release Engineering - 9:2021-50Tom Callaway - 9:2021-49Tom Callaway - 9:2021-48Tom Callaway - 9:2021-47Tom Callaway - 9:2021-46Tom Callaway - 9:2021-45Fedora Release Engineering - 9:2021-44Tom Callaway - 9:2021-43Tom Callaway - 9:2021-42Tom Callaway - 9:2021-41Tom Callaway - 9:2021-40Tom Callaway - 9:2020-39- Remove unnecessary dependency on fontawesome-fonts- fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)- Update to TeXLive 2023 - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings - soulutf is now part of soul - expkv-* became expkv-bundle- update biblatex to 3.19 (svn66405) (bz2176089)- drop texlive-ketcindy (it lives in texlive-base)- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- add missing dependencies to texlive-lua-uni-algos (bz2158837) - hack up tabu a bit to try to fix longtable (bz2158820)- Update to TeXLive 2022 (finally) - update all the things - add new packages - rename packages (tl seems to have standardized on lowercase)- Fixed #2126535, Fix symlink changes during %post and %postun- Update biblatex to 3.18b (bz2100167)- Rebuilt for ICU 71.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Rebuilt for Drop i686 JDKs- Fixed #2073753 - texlive-chemfig is missing a dependency (texlive-simplekv)- use biblatex tarballs from CTAN that have correct {DATE}/{VERSION} fields- An empty release bump- ____ __ __ __ __ ____ ( _ \( )( )( \/ )( _ \ ) _ < )(__)( ) ( )___/ (____/(______)(_/\/\_)(__)- correct bcfversion dependency- update biblatex to 3.17 (bz2048536)- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- fix french language hyphenation options- add Requires: texlive-newtx to texlive-newtxsf (bz2027444)- Rename fonts/map/dvips/mpfonts/mpfonts.map to oldmap, we do not want it added by updmap-sys- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690)- add Requires: tex(ifoddpage.sty) to texlive-algorithm2e (bz1991713)- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Rename fonts/map/dvips/psnfss/psnfss.map to oldmap, we do not want it added by updmap-sys- fix typo in texlive-dancers Summary text- add tfm font provides to texlive-cm - add beamerthemenord component package to resolve broken deps - add latex-firstaid-dev component package to resolve broken deps - fix typo in Requires for texlive-pst-optexp - fix deps for texlive-kvmap- start the 2021 madness- update source urls to use https2023202311:svn33254.0-69.fc39texlive-logicprooflppl1.3.txtlogicprooflogicproof.sty/usr/share/licenses//usr/share/licenses/texlive-logicproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/logicproof/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19noarch-redhat-linux-gnudirectoryASCII textLaTeX document, ASCII texthttps://bugz.fedoraproject.org/texliveutf-838830c80c8084b7751cf571474432a4b4c70722f29cf6a1842a24b8f1272b3c5054c7dd5f7655e5df10e6a68077e90e3850650b92e0815325b0d6b577d63e5d5?@(/hj 0` dRY~cXF`)4܇Zzȿ0yhHDc1]&lxvɶMS"S:@B J$Q`HEyѣDQ/,S2Tfls>/:߶PML"o>oJJ/[RfAI?R:RnSG/( &i.xu/$R縶IJEǟ{EWFd) ʅP@ lh\06*P4&`Jn\L\Lԟ~~SD^d_QgSqEmP>W沽rB*7V |Π][jRKtc 1NlN?/k/ӸMp@ dT\lTPJ=˽k-ZBtUz^-;Bi?!кe؏L3Z/*)QID&8_u-0Lr;m)T@AEW*ZI ʃ#H45 ID 0Y`Mknlчpuֵ B]^x D SD\!@/6eN@XOtkM]]"e[iUj[b@ >Ԇ0fL۵s;|znJO]N-\#R>m2__h!)}:ge|X*Mc 'IAT*O6PK1dC2zK8ܫPY{jwڥnP ZtIl*=Z]׆LN-NK@jfKJ:rך+RT @ѰP =WGgiiʖkge^V*Su-(c-?ǔ2jZK{ug X  ϛk=M쯴0e]ÔKݢ;k^ZL<@LeOlר532@L4\dQtt= rʭ>՞[m1H6mƋ%; ,Xl\Pب@Sd31y@A+C/bC%Y t&i >J"eG/j>ܭGc9vу ݕ]0nبGjf}WfcjS͌0Yk:֋aF'zOi% TWQEͪߝfLCETTlċRy}IDg|@p\#uGUg`]zj#$P.-W0F9@څL2zz^ HiA~]8OQt 챜2W2[?˥Y.f+^sx+ǯw5Nr~r4)K L*&>{ʒJ4Whp1Mr ,Mw5lr!gH}v\>8m-'VքLY׶vѡt)ҸW k@BN sW]µ%E;|pU \6WS6K{*SL3pݣjw|CΚs- pqՈJ1"4#s b.R>K)j 0jLTsPx]KvNbb5^0l߉l0@ta,68R~J'9Kf+ .pNtt#ag\G'G{F# +BPA]~:I&/1NG <`+nUQ&fkT LdEFo| #3ʑXH G lt8r'ԓVRܩH)ZM5j s M㲭}f2^YA$TpZ}BAF haZhKҿY&DrwNJzq*F{kg!܉egJ`Ye|)€"k^[C (c&j͑YuYbl 3@ ~i# 9Ti+TCQ0-9a#4IFn->0qk`PF74'h0ԛ,7J=i!Q'!0>wd'I18Irll%6҉g 璦ڡm#!!e(>"K/2Qpm9!, |ڟ٭c~t["->1~PL8L$ G^+8T OhyI0r+,nʸhF{NCkzyF$q5ɬG{n6o8u/ !H l^ty7ւ2i{e;uVzjʯJ869"d2\.x_|GoAbCOL0d? jD θjΐ8I1tA$ ׶g/W _ . []yjTģoj=[E7 SitwqA?OT018MɋU#[.fB")w^cDH9, ws)Jƪv rَBGyƚ4} ٕ{Y{8$CxFfu8||3mG K[x6]7m}B]i=ŁHl3Z| DZO&TG}t=hV-c@Q,sy K ;uN̐_wN^x9yg\!e.5Y餪 %cG5YȒi'dֱxh"Qw}v@,>a˺)stTCii_~eSir$h d'wQS%!&}KRX, H7 7YҠ_ g +j {00J eÇ8 2B$쒰Tq tD0)1ɰ o Gb|,AVWSޙBe2 ,9Bʚ%[qDmN԰@ hW(|j7z}NIAj 2s<3ўU-s+&vfð'~dQր" |B.yCJœ#m % x&!V eL0>T3yF:| R5H&GGqAhR;6+fCV6(]RQ Ԇ7D.l Hm6t, aQ? .}pc7"OųYsQ.9FdH#_ro|Ъb|:_vFg \Aa9Иz"q+6X j0gmcHsMQѫͱ3T]XR@vBj`̥PXhӐ~ɭ -;Xx\H*s>Q&@ep*"6'Ǣq|t£rP\a.՝ xoP0гT"dE7Lu;)+:^`@^)BF8tU? \\1=z }4uLg涁>64T(޶۽OMW9hDie"Dpmaȫ5(w\}#x5%ypd@ЫdCa GM4ߓ/imtFd`m`cD|OKz"J&h.H9uvvo I!ƙ.I1 _+7|-h_ 3\hc8cp|[vsa xapXPɌŰW./xE_f8B^2G,ڬX2U;* D! |[YH f){#Jd#xٶ@Y1<4/v/g,Od츌lR-1(n,%$Y?H97+ Xn]硰}IWnpcF-&]g+8֠ Δn+`͒9).[/G֘)T[=G=Ɏ9Jcx8:ieC ўQLetE#ꀐrK-鷩G6&`eg@q;z4_zuQA¾Vl78Hzʼ<֒) HCUЏ]{_y7e"G˯f)YCYm:#nGl "uMt;P>}4{V#_t}*qċIu&gMdl[,}%{>&mmcψRvVZ_pk`= Aw*5A@T@0waO cEШZqKo˧ڶ夨h4wˢH+0V1zB O0p% 2ې:&ޙm2vHtJmo`/,@M!qƟtlC=b~g>e *~.?^&sfts|N{R'BzH"ÿ+;4Xi8s%N=OQj֮VwG.,/nABR4(f!;K*uvAX]#^(s*G2p#>͕u2j˓+ѨbNOCuE;=*2,--!Ζz=S{7Fŧ7tO?+J澥&()YlhN?Z8o09c+]k>f̹W>|t;"wQ4ν&eFW0~(Jۿtj-(r]*z':6UUF8+V)[&5#0Hi1j4gI{WʡRj9 9̀ fr)\B!P?A Y !>P,TEc _8( sB*j!- 7״̛Ry^pҒ1z&>mp~O Yk V[z$)BmXX#CnL]I2WmM~qTŲk /;hQhStҾ‹H G(Y uSd`ha݈ YG]cOb{0:6:4Hpx},EzEjg F/-H[p(q8J3𧏸AnCP| ZSGKa﨔3N8<4@O hmh/zTYb#Y,