How to update VLC to the latest version?












55














As VLC 2.0 is released, how do I get it in Ubuntu (XUbuntu actually, in my case) 11.10? Any PPAs or packages to download? The official page says "Ask your favorite packager..."










share|improve this question





























    55














    As VLC 2.0 is released, how do I get it in Ubuntu (XUbuntu actually, in my case) 11.10? Any PPAs or packages to download? The official page says "Ask your favorite packager..."










    share|improve this question



























      55












      55








      55


      16





      As VLC 2.0 is released, how do I get it in Ubuntu (XUbuntu actually, in my case) 11.10? Any PPAs or packages to download? The official page says "Ask your favorite packager..."










      share|improve this question















      As VLC 2.0 is released, how do I get it in Ubuntu (XUbuntu actually, in my case) 11.10? Any PPAs or packages to download? The official page says "Ask your favorite packager..."







      ppa vlc






      share|improve this question















      share|improve this question













      share|improve this question




      share|improve this question








      edited Mar 14 '12 at 17:16









      Jorge Castro

      35.9k105422617




      35.9k105422617










      asked Feb 19 '12 at 13:23









      Ivan

      21k59127197




      21k59127197






















          4 Answers
          4






          active

          oldest

          votes


















          70














          I've just found the official VLC PPA.



          Stable version snapshots



          For the current stable version of VLC that is ppa:videolan/stable-daily (currently version 2.0)



          Add it to your system



          sudo add-apt-repository ppa:videolan/stable-daily


          Update and upgrade / install VLC



          sudo apt-get update && sudo apt-get install vlc


          For the daily master snapshots



          For the master daily (testing) that is ppa:videolan/master-daily (currently version 2.1)



          Add it to your system



          sudo add-apt-repository ppa:videolan/master-daily


          Update and upgrade / install VLC



          sudo apt-get update && sudo apt-get install vlc


          For more information about PPAs please visit the following post




          • What are PPAs and how do I use them?






          share|improve this answer























          • By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
            – Ivan
            Feb 19 '12 at 14:23






          • 1




            There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
            – Ivan
            Feb 21 '12 at 22:19










          • This answer should be deleted as that repo has not been built or functioned in at least a year.
            – Evan Carroll
            Aug 11 '17 at 17:10



















          17














          Open terminal(Ctrl+Alt+T) and run:



          As of today (2015/11/21), the latest VLC version



          for 14.04 (vlc 2.2.1)



          sudo add-apt-repository ppa:mc3man/trusty-media
          sudo apt-get update
          sudo apt-get install vlc vlc-plugin-*


          for 14.04 & 15.04 & 15.10 (vlc 2.2.1)



          sudo add-apt-repository ppa:n-muench/vlc
          sudo apt-get update
          sudo apt-get install vlc vlc-plugin-*





          share|improve this answer























          • Will not work in 16.04, downvote for not being updated
            – rancho
            Feb 9 '17 at 19:56






          • 4




            How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
            – Ravan
            Apr 28 '17 at 1:55



















          1














          In Ubuntu 14.04 and later VLC can be updated to the latest stable version by installing the vlc snap package. It notably plays MKV, MP4, MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, BluRays, DVDs, VCDs, podcasts, and multimedia streams from various network sources. It supports subtitles, closed captions and is translated in numerous languages.



          Open the terminal and type:



          sudo snap install vlc  


          The vlc snap package will be updated automatically when updates are available.






          share|improve this answer































            0














            The PPA mentioned in @Ivan's answer is unsupported. It last built correctly in 8/2016. There is no easy way to update vlc. However, this question address this problem with 17.04 and the best you can get is a newer version that doesn't support x.265 with snap.



            See How do I install VLC 3.0 on Ubuntu Zesty 17.04? for more information.






            share|improve this answer























              Your Answer








              StackExchange.ready(function() {
              var channelOptions = {
              tags: "".split(" "),
              id: "89"
              };
              initTagRenderer("".split(" "), "".split(" "), channelOptions);

              StackExchange.using("externalEditor", function() {
              // Have to fire editor after snippets, if snippets enabled
              if (StackExchange.settings.snippets.snippetsEnabled) {
              StackExchange.using("snippets", function() {
              createEditor();
              });
              }
              else {
              createEditor();
              }
              });

              function createEditor() {
              StackExchange.prepareEditor({
              heartbeatType: 'answer',
              autoActivateHeartbeat: false,
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader: {
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              },
              onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              });


              }
              });














              draft saved

              draft discarded


















              StackExchange.ready(
              function () {
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f105587%2fhow-to-update-vlc-to-the-latest-version%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              4 Answers
              4






              active

              oldest

              votes








              4 Answers
              4






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              70














              I've just found the official VLC PPA.



              Stable version snapshots



              For the current stable version of VLC that is ppa:videolan/stable-daily (currently version 2.0)



              Add it to your system



              sudo add-apt-repository ppa:videolan/stable-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For the daily master snapshots



              For the master daily (testing) that is ppa:videolan/master-daily (currently version 2.1)



              Add it to your system



              sudo add-apt-repository ppa:videolan/master-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For more information about PPAs please visit the following post




              • What are PPAs and how do I use them?






              share|improve this answer























              • By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
                – Ivan
                Feb 19 '12 at 14:23






              • 1




                There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
                – Ivan
                Feb 21 '12 at 22:19










              • This answer should be deleted as that repo has not been built or functioned in at least a year.
                – Evan Carroll
                Aug 11 '17 at 17:10
















              70














              I've just found the official VLC PPA.



              Stable version snapshots



              For the current stable version of VLC that is ppa:videolan/stable-daily (currently version 2.0)



              Add it to your system



              sudo add-apt-repository ppa:videolan/stable-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For the daily master snapshots



              For the master daily (testing) that is ppa:videolan/master-daily (currently version 2.1)



              Add it to your system



              sudo add-apt-repository ppa:videolan/master-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For more information about PPAs please visit the following post




              • What are PPAs and how do I use them?






              share|improve this answer























              • By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
                – Ivan
                Feb 19 '12 at 14:23






              • 1




                There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
                – Ivan
                Feb 21 '12 at 22:19










              • This answer should be deleted as that repo has not been built or functioned in at least a year.
                – Evan Carroll
                Aug 11 '17 at 17:10














              70












              70








              70






              I've just found the official VLC PPA.



              Stable version snapshots



              For the current stable version of VLC that is ppa:videolan/stable-daily (currently version 2.0)



              Add it to your system



              sudo add-apt-repository ppa:videolan/stable-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For the daily master snapshots



              For the master daily (testing) that is ppa:videolan/master-daily (currently version 2.1)



              Add it to your system



              sudo add-apt-repository ppa:videolan/master-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For more information about PPAs please visit the following post




              • What are PPAs and how do I use them?






              share|improve this answer














              I've just found the official VLC PPA.



              Stable version snapshots



              For the current stable version of VLC that is ppa:videolan/stable-daily (currently version 2.0)



              Add it to your system



              sudo add-apt-repository ppa:videolan/stable-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For the daily master snapshots



              For the master daily (testing) that is ppa:videolan/master-daily (currently version 2.1)



              Add it to your system



              sudo add-apt-repository ppa:videolan/master-daily


              Update and upgrade / install VLC



              sudo apt-get update && sudo apt-get install vlc


              For more information about PPAs please visit the following post




              • What are PPAs and how do I use them?







              share|improve this answer














              share|improve this answer



              share|improve this answer








              edited Apr 13 '17 at 12:23









              Community

              1




              1










              answered Feb 19 '12 at 13:37









              Ivan

              21k59127197




              21k59127197












              • By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
                – Ivan
                Feb 19 '12 at 14:23






              • 1




                There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
                – Ivan
                Feb 21 '12 at 22:19










              • This answer should be deleted as that repo has not been built or functioned in at least a year.
                – Evan Carroll
                Aug 11 '17 at 17:10


















              • By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
                – Ivan
                Feb 19 '12 at 14:23






              • 1




                There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
                – Ivan
                Feb 21 '12 at 22:19










              • This answer should be deleted as that repo has not been built or functioned in at least a year.
                – Evan Carroll
                Aug 11 '17 at 17:10
















              By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
              – Ivan
              Feb 19 '12 at 14:23




              By the way I've already noticed a drawback after installing 2.1 from the PPA: it doesn't offer Mozilla VLC Plugin (and does remove one already installed). That's a pity, I used to make intense use of it.
              – Ivan
              Feb 19 '12 at 14:23




              1




              1




              There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
              – Ivan
              Feb 21 '12 at 22:19




              There seems to be no repository meant for 10.04 in the PPAs, @sivakumar. stable-daily PPA supports 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin), master-daily PPA supports 10.10 (Maverick Meerkat), 11.04 (Natty Narwhal), 11.10 (Oneiric Ocelot) and 12.04 (Precise Pangolin). If you really want to update your VLC you can either wait until someone builds stable VLC 2.0 release packages or try using Maverick repo of the master-daily PPA or Oneiric repo of the stable-daily PPA (by editing apt configuration files manually), but I am not sure it is going to work properly.
              – Ivan
              Feb 21 '12 at 22:19












              This answer should be deleted as that repo has not been built or functioned in at least a year.
              – Evan Carroll
              Aug 11 '17 at 17:10




              This answer should be deleted as that repo has not been built or functioned in at least a year.
              – Evan Carroll
              Aug 11 '17 at 17:10













              17














              Open terminal(Ctrl+Alt+T) and run:



              As of today (2015/11/21), the latest VLC version



              for 14.04 (vlc 2.2.1)



              sudo add-apt-repository ppa:mc3man/trusty-media
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*


              for 14.04 & 15.04 & 15.10 (vlc 2.2.1)



              sudo add-apt-repository ppa:n-muench/vlc
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*





              share|improve this answer























              • Will not work in 16.04, downvote for not being updated
                – rancho
                Feb 9 '17 at 19:56






              • 4




                How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
                – Ravan
                Apr 28 '17 at 1:55
















              17














              Open terminal(Ctrl+Alt+T) and run:



              As of today (2015/11/21), the latest VLC version



              for 14.04 (vlc 2.2.1)



              sudo add-apt-repository ppa:mc3man/trusty-media
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*


              for 14.04 & 15.04 & 15.10 (vlc 2.2.1)



              sudo add-apt-repository ppa:n-muench/vlc
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*





              share|improve this answer























              • Will not work in 16.04, downvote for not being updated
                – rancho
                Feb 9 '17 at 19:56






              • 4




                How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
                – Ravan
                Apr 28 '17 at 1:55














              17












              17








              17






              Open terminal(Ctrl+Alt+T) and run:



              As of today (2015/11/21), the latest VLC version



              for 14.04 (vlc 2.2.1)



              sudo add-apt-repository ppa:mc3man/trusty-media
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*


              for 14.04 & 15.04 & 15.10 (vlc 2.2.1)



              sudo add-apt-repository ppa:n-muench/vlc
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*





              share|improve this answer














              Open terminal(Ctrl+Alt+T) and run:



              As of today (2015/11/21), the latest VLC version



              for 14.04 (vlc 2.2.1)



              sudo add-apt-repository ppa:mc3man/trusty-media
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*


              for 14.04 & 15.04 & 15.10 (vlc 2.2.1)



              sudo add-apt-repository ppa:n-muench/vlc
              sudo apt-get update
              sudo apt-get install vlc vlc-plugin-*






              share|improve this answer














              share|improve this answer



              share|improve this answer








              edited Nov 21 '15 at 12:13

























              answered Sep 23 '15 at 11:35









              Ravan

              5,631154376




              5,631154376












              • Will not work in 16.04, downvote for not being updated
                – rancho
                Feb 9 '17 at 19:56






              • 4




                How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
                – Ravan
                Apr 28 '17 at 1:55


















              • Will not work in 16.04, downvote for not being updated
                – rancho
                Feb 9 '17 at 19:56






              • 4




                How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
                – Ravan
                Apr 28 '17 at 1:55
















              Will not work in 16.04, downvote for not being updated
              – rancho
              Feb 9 '17 at 19:56




              Will not work in 16.04, downvote for not being updated
              – rancho
              Feb 9 '17 at 19:56




              4




              4




              How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
              – Ravan
              Apr 28 '17 at 1:55




              How can you expect it to work for 16.04 @rancho Did I mentioned it? pitty on you :(
              – Ravan
              Apr 28 '17 at 1:55











              1














              In Ubuntu 14.04 and later VLC can be updated to the latest stable version by installing the vlc snap package. It notably plays MKV, MP4, MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, BluRays, DVDs, VCDs, podcasts, and multimedia streams from various network sources. It supports subtitles, closed captions and is translated in numerous languages.



              Open the terminal and type:



              sudo snap install vlc  


              The vlc snap package will be updated automatically when updates are available.






              share|improve this answer




























                1














                In Ubuntu 14.04 and later VLC can be updated to the latest stable version by installing the vlc snap package. It notably plays MKV, MP4, MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, BluRays, DVDs, VCDs, podcasts, and multimedia streams from various network sources. It supports subtitles, closed captions and is translated in numerous languages.



                Open the terminal and type:



                sudo snap install vlc  


                The vlc snap package will be updated automatically when updates are available.






                share|improve this answer


























                  1












                  1








                  1






                  In Ubuntu 14.04 and later VLC can be updated to the latest stable version by installing the vlc snap package. It notably plays MKV, MP4, MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, BluRays, DVDs, VCDs, podcasts, and multimedia streams from various network sources. It supports subtitles, closed captions and is translated in numerous languages.



                  Open the terminal and type:



                  sudo snap install vlc  


                  The vlc snap package will be updated automatically when updates are available.






                  share|improve this answer














                  In Ubuntu 14.04 and later VLC can be updated to the latest stable version by installing the vlc snap package. It notably plays MKV, MP4, MPEG, MPEG-2, MPEG-4, DivX, MOV, WMV, QuickTime, WebM, FLAC, MP3, Ogg/Vorbis files, BluRays, DVDs, VCDs, podcasts, and multimedia streams from various network sources. It supports subtitles, closed captions and is translated in numerous languages.



                  Open the terminal and type:



                  sudo snap install vlc  


                  The vlc snap package will be updated automatically when updates are available.







                  share|improve this answer














                  share|improve this answer



                  share|improve this answer








                  edited Dec 11 at 8:41

























                  answered Jun 13 at 0:42









                  karel

                  56.9k11127146




                  56.9k11127146























                      0














                      The PPA mentioned in @Ivan's answer is unsupported. It last built correctly in 8/2016. There is no easy way to update vlc. However, this question address this problem with 17.04 and the best you can get is a newer version that doesn't support x.265 with snap.



                      See How do I install VLC 3.0 on Ubuntu Zesty 17.04? for more information.






                      share|improve this answer




























                        0














                        The PPA mentioned in @Ivan's answer is unsupported. It last built correctly in 8/2016. There is no easy way to update vlc. However, this question address this problem with 17.04 and the best you can get is a newer version that doesn't support x.265 with snap.



                        See How do I install VLC 3.0 on Ubuntu Zesty 17.04? for more information.






                        share|improve this answer


























                          0












                          0








                          0






                          The PPA mentioned in @Ivan's answer is unsupported. It last built correctly in 8/2016. There is no easy way to update vlc. However, this question address this problem with 17.04 and the best you can get is a newer version that doesn't support x.265 with snap.



                          See How do I install VLC 3.0 on Ubuntu Zesty 17.04? for more information.






                          share|improve this answer














                          The PPA mentioned in @Ivan's answer is unsupported. It last built correctly in 8/2016. There is no easy way to update vlc. However, this question address this problem with 17.04 and the best you can get is a newer version that doesn't support x.265 with snap.



                          See How do I install VLC 3.0 on Ubuntu Zesty 17.04? for more information.







                          share|improve this answer














                          share|improve this answer



                          share|improve this answer








                          edited Aug 11 '17 at 17:31

























                          answered Aug 11 '17 at 17:23









                          Evan Carroll

                          4,674103466




                          4,674103466






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to Ask Ubuntu!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              To learn more, see our tips on writing great answers.





                              Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                              Please pay close attention to the following guidance:


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f105587%2fhow-to-update-vlc-to-the-latest-version%23new-answer', 'question_page');
                              }
                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              Quarter-circle Tiles

                              build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                              Mont Emei